DOL — Annex references to metaclasses

C.2 refers to “the metaclass OWL Ontology” and “the metaclass OWL Universe”. Presumably these refer to the classes OWLOntology and OWLUniverse from ODM; if so they should be spelt correctly (no space) and there should be a reference to NR24.

D.2 refers to the metaclasses Text and Sentence. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the Common Logic definition, this should be made explicit.

E.2 refers to the metaclasses Document and Triple. Are these from ODM? If so there should be a reference fo NR24.

F.2 refers to the metaclasses OWL Model and OWL PackageableElement. Presumably the reference to OWL is an error, and the metaclasses are actually Model and PackageableElement from the UML metamodel – reference NR8. Also it would be more flexible to make Package rather than Model a subclass of NativeDocument: it’s valid for a UML document to contain a top-level Package which is not a Model and it seems a shame to exclude such a thing from the world of DOL.

G.2 refers to the metaclasses TPTP_file and annotated_formula. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the TPTP definition, this should be made explicit.

H.2 refers to the metaclasses LIBRARY and BASIC-SPEC. It is not clear where these come from. Are they from an existing standard? – if so it should be referenced. Or if they are from a hypothetical metamodel inferred from the CASL definition, this should be made explicit.

all proposals were implemented

we implemented all proposed changes (see diff document)