DAML: MIT Program Review (2000-2004)

LX (2002)

Logic Exchange Ontology

• Straightforward ontology of FOL syntax
• Usability (implies truth) predicate, on RDF
• Tools for syntax conversion (to/from Otter, lbase, n3)
• Axiomatization tested with Otter

• Contents
• Change style
• Previous
• Next