Ontology of Texts


Ontology of Texts

Auxiliary Data

The auxiliary data files contain the axiomatisation of the ontology rendered in the TPTP syntax and the proofs of the theorems announces in the paper.

The numbering of the axioms in the TPTP notation follows the numbering from the paper. If an axiom does not occur in the text, it is numbered by Roman numerals.

Axiomatisation In TPTP Syntax