bug in example in 7.2 - Githubissues

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

bug in example in 7.2 #352

Closed fabianneuhaus closed 7 years ago

fabianneuhaus commented 7 years ago

The first occurrence of lang:CommonLogic in the example of section 7.2 needs to be replaced, since the language that is used is actually OWL.

tillmo commented 7 years ago

see #341