Index of /2002/05/positive-triples/otterlang

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile2002-08-09 20:46 73  
[TXT]README.html2002-08-01 19:36 948  
[TXT]describe.py2002-08-09 02:16 6.7K 
[   ]parse.g2002-08-01 19:08 3.4K 
[TXT]parse.py2002-08-01 19:08 5.9K 
[TXT]recognize-alternative.py2002-08-01 19:08 1.4K 
[TXT]recognize.P2002-08-08 20:02 3.5K 
[TXT]recognize.py2002-08-09 19:20 1.4K 
[TXT]samples.py2002-08-08 20:02 1.2K 
[TXT]style.css2002-08-01 19:08 1.0K 
[TXT]test.py2002-08-09 20:48 2.1K 
[TXT]yappsrt.py2002-08-01 19:08 5.3K 

otterlang (Otter's Language for First-Order Logic)

otterlang (Otter's Language for First-Order Logic)

I'm using Otter's syntax for first-order logic, and calling it "otterlang".

The code here can encode/describe otterlang formulas (or collections of formulas, aka knowledge bases) in RDF, and also decode/recognize them. These operations here are purely syntactic, with no real attention paid to the possible semantics of the triples generated and used. That stuff is handled elsewhere.

Sandro Hawke
$Date: 2002/08/01 19:36:44 $