OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation)
OWL 2 Web Ontology Language, EL Profile (W3C Recommendation)
OWL 2 Web Ontology Language, RDF semantics (W3C Recommendation)
OWL 2 Web Ontology Language, QL Profile (W3C Recommendation)
OWL 2 Web Ontology Language, RL Profile (W3C Recommendation)
Resource Description Framework (W3C Recommendation)
Common Logic, restricted to sentences without sequence markers
Common Logic without sequences
CL⁻
FOL
first-order logic (without equality)
first-order logic
FOL⁼
first-order logic with equality
many-sorted first-order logic with equality
many-sorted FOL with equality
RDF Resource Description Framework (W3C Recommendation)
RDF Vocabulary Description Language (a.k.a. 'RDF Schema'; W3C Recommendation)
SROIQ, the logic of OWL 2 Web Ontology Language DL (W3C Recommendation)
Church Simple Type Theory→SubPCFOL⁼ projection
E-Connections^{FOL⁼}→E-Connections^{OWL} projection
many-sorted FOL⁼→propositional logic projection
the registry of logics, ontology languages, serializations, translations, and projections that conform with the Distributed Ontology Language (DOL) specified in ISO WD 17347 OntoIOp (Ontology Integration and Interoperability)
Conceptual Graph Interchange Format
CGIF
Common Logic Interchange Format
CLIF
DDL^{OWL}→E-Connections^{OWL} translation
E-Connections^{FOL⁼}→many-sorted FOL⁼ translation
E-Connections^{OWL}→E-Connections^{FOL⁼} translation
propositional logic→Common Logic translation
propositional logic→many-sorted FOL⁼ translation
translation from propositional logic to propositional logic in Conjunctive Normal Form (CNF)
Note that this is not a default mapping; for details see: Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language; in 7th International Conference on Formal Ontology in Information Systems (FOIS), 2012-07-24/2012-07-27 in Graz, Austria; 2012 (http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf).
relational database schema→many-sorted FOL⁼ translation
SubPCFOL⁼→Church Simple Type Theory translation