Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 2002-08-09 20:46 | 73 | ||
README.html | 2002-08-01 19:36 | 948 | ||
describe.py | 2002-08-09 02:16 | 6.7K | ||
parse.g | 2002-08-01 19:08 | 3.4K | ||
parse.py | 2002-08-01 19:08 | 5.9K | ||
recognize-alternative.py | 2002-08-01 19:08 | 1.4K | ||
recognize.P | 2002-08-08 20:02 | 3.5K | ||
recognize.py | 2002-08-09 19:20 | 1.4K | ||
samples.py | 2002-08-08 20:02 | 1.2K | ||
style.css | 2002-08-01 19:08 | 1.0K | ||
test.py | 2002-08-09 20:48 | 2.1K | ||
yappsrt.py | 2002-08-01 19:08 | 5.3K | ||
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 $