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 concepts Reduction and Translation are lacking in the ontology #331

Closed tillmo closed 7 years ago

tillmo commented 7 years ago

In the ontology, classes for Reduction and Translation (as subclasses of Mapping) would be useful (and then define logic and language reduction and translation using them). see http://issues.omg.org/browse/DOL-28

tillmo commented 7 years ago

see 331_translation_and_reduction of git@ontohub.org:meta.git Text for DOL FTF: we have added classes Reduction, Translation and OMSLanguageReduction.

tillmo commented 7 years ago

see 331_translation_and_reduction of git@ontohub.org:meta.git Text for DOL FTF: we have added classes Reduction, Translation and OMSLanguageReduction.

fabianneuhaus commented 7 years ago

omg ticket added

fabianneuhaus commented 7 years ago

I stumbled over this definition:

a mapping (translation) between two OMS languages that keeps or encodes the structure</skos:definition> It seems incomplete. The structure of what?

tillmo commented 7 years ago

OK, perhaps better "keeps or encodes the content of the source"?

fabianneuhaus commented 7 years ago

Here a proposal: Definition: Mapping from constructs in the source OMS language to constructs in the target OMS language. Note: Typically the mapping is selected with the goal to preserve the intended meaning when translating from the source to the target OMS language.

tillmo commented 7 years ago

No, your proposal will not capture the difference between translation and reduction. I have commited a new definition, avoiding the term "structure".

fabianneuhaus commented 7 years ago

revised version uploaded to JIRA