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

The definition of DOLLibrary does not match its specification in the ontology #336

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

DOLLibrary is formalized as "semanticallyDenotes some GlobalEnvironment", but this doesn't seem to arise from the natural language definition.

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

tillmo commented 7 years ago

see branch 336_DOL_Library of git@ontohub.org:meta.git Note that hasPart is maybe not entirely precise, instead, hasOptionalPart would be more precise. However, this will lead to more complexity. Hence, I decided to interpret hasPart as the possibility to have such a part here.

tillmo commented 7 years ago

I think it is easier to post the text here, instead of having a separate file (because it then can be easier discussed and corrected). So here it is (OK, this time copied from 336.txt):

A DOLLibrary is now (additionally) formalised as having OMS, OMSMappings and OMSNetworks as parts.

fabianneuhaus commented 7 years ago

added proposal to JIRA