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
23