![]() | 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 $