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

There are redundant axioms for LogicTranslation and LogicReduction #317

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

There is a similar group of redundant axioms for subclasses of LogicTranslation and LogicReduction, that explicitly state they are subclasses of LogicMapping. It should be okay to delete these redundant declarations.

(API4KB team)

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

tillmo commented 7 years ago

see 317_axioms_for_logic_translation_and_reduction of the DOL ontology repo. Note for FTF: we have removed the redundant axiom for Embedding, which is a subclass of LogicTranslation. There is no subclass of LogicReduction.

fabianneuhaus commented 7 years ago

OMG proposal added