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

Basic definitions are missing from the DOL ontology #335

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

On page 4 of the specification document, it states that " DOL is capable of assigning identifiers to entities (symbols, axioms, modules, etc.)." Based on this, we expect to find classes for symbol, axiom and module in the ontology. Is AxiomSentence the same as "axiom"? Definitions for some of these concepts appear to be missing from the ontology, in other words.

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

tillmo commented 7 years ago

Text for FTF: We have changed AxiomSentence into Axiom (and TheoremSentence into Theorem). Symbol occurs as NonLogicalSymbol in the ontology, in accordance to section 4.2 of the DOL document. On page 4, they are (for conciseness) mentioned as "symbols". Module is a class in the ontology.

tillmo commented 7 years ago

see 335_basic_definitions of git@ontohub.org:meta.git

fabianneuhaus commented 7 years ago

added Proposal to JIRA