DOL — Definitions in the ontology do not match those in the document

Generally, there seem to be a number of concepts where the definition in the ontology diverges from the one given in the specification document. Some concepts defined in the document do not appear in the ontology, e.g. infrastructure axiom (which is referred to e.g. in the natural language definition of SimpleTheoroidalMapping). Ideally, and especially for use in other OMG specifications such as API4KP, the ontology should be able to stand alone.

infrastructureAxiom was added to the ontology

We have added InfrastructureAxiom to the DOL ontology. Otherwise, we believe that we have taken all concepts from the glossary (section 4) into account when designing the DOL ontology.