Draft
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.