search

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is
http://ontoiop.org
7 stars 1 forks source link

Annex references to metaclasses #342

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

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.

see http://issues.omg.org/browse/DOL-39

tillmo commented 7 years ago

I have implemented all the suggested changes and provided references to ODM (C.2, D.2, E.2) or to syntax documents (G.2, H.2) from which a hypothetical metamodel is inferred. Also, for UML, now Package is used. It remains to update figures 9.1 and 9.2. @MGlauer, could you please to this?

tillmo commented 7 years ago

OK, now also the diagrams have been updated.