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

Need to clarify the role of logical symbols in the ontology #313

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

The natural language definition of Term "syntactic expression either consisting of a single non-logical symbol or recursively composed of other terms (a.k.a. its subterms)" is a little unclear, as it leaves some question as to the role of logical symbols. The intent is made more clear by the existence of the subclass Sentence, which presumably includes sentences with logical connectives, but as a stand-alone definition it is vague. Perhaps an explanatory note could be added, because in some standards the "term" class does not include sentences.

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

tillmo commented 7 years ago

see 313_term_logical_symbol of the DOL ontology repo. Note for FTF: we have clarified that logical symbols can be part of terms.

fabianneuhaus commented 7 years ago

diff is missing the change seems not to address the question concerning sentences. Maybe there should be an additional note?

tillmo commented 7 years ago

added the diff. I think we do not need to mention sentences, because these mainly helped them to understand what is going on. But our solution is much clearer now, so sentences are not needed as a bridge enabling understaning.

fabianneuhaus commented 7 years ago

omg proposal added