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 simple theoroidal mapping is misleading #333

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

SimpleTheoroidalMapping: The definition seems to suggest that this is not a LogicMapping (the natural language definition says it maps signatures to logical theories, while a LogicMapping maps logics to logics). The definition in the document of simple theoroidal logic translation is much clearer. There is a disconnect because only simple theoroidal logic translation is defined in the document, while SimpleTheoroidalMapping as defined in the ontology is more general.

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

tillmo commented 7 years ago

see 333_simple_theoroidal_mapping of git@ontohub.org:meta.git Text for FTF: we have clarified that a LogicMapping is "a mapping (translation or reduction) between two logics consisting of mappings for signatures, sentences and models". Then it should be clear that a SimpleTheoroidalMapping is a LogicMapping.