DOL — The definition of simple theoroidal mapping is misleading

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.

clarification of definition of LogicMapping and SimpleTheoroidalMapping

We have clarified that a LogicMapping is "a mapping (translation or reduction) between two logics consisting of mappings for signatures, sentences and models".

We further clarified that a SimpleTheoridalMapping is a "logic mapping that maps signatures of the source logic to theories of the target logic"

These changes should make transparent that a SimpleTheoroidalMapping is a LogicMapping.