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 $