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

	Name	Last modified	Size	Description
	Parent Directory		-
	describe.py	09-Aug-2002 02:16	6.7K
	Makefile	09-Aug-2002 20:46	73
	parse.g	01-Aug-2002 19:08	3.4K
	parse.py	01-Aug-2002 19:08	5.9K
	recognize-alternative.py	01-Aug-2002 19:08	1.4K
	recognize.P	08-Aug-2002 20:02	3.5K
	recognize.py	09-Aug-2002 19:20	1.4K
	samples.py	08-Aug-2002 20:02	1.2K
	style.css	01-Aug-2002 19:08	1.0K
	test.py	09-Aug-2002 20:48	2.1K
	yappsrt.py	01-Aug-2002 19:08	5.3K

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 $