name
entity kind in: Common Logic
subclass of: Entity

sequence marker
entity kind in: Common Logic
subclass of: Entity

annotation property
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Annotation Properties
subclass of: Entity

class
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Classes
subclass of: Entity

data property
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Data Properties
subclass of: Entity

annotation property
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Datatypes
subclass of: Entity

named individual
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Named Individuals
subclass of: Entity

object property
entity kind in: OWL 2 DL
entity kind in: OWL 2 EL
entity kind in: OWL 2 Full
entity kind in: OWL 2 QL
entity kind in: OWL 2 RL
source: Object Properties
subclass of: Entity

CASL
type: OntologyLanguage
exact logical expressivity: SubPCFOL⁼
mappable from: Common Logic
mappable from: SATLIB
mappable from language: Common Logic
mappable to: THF0
mappable to language: THF0
supports logic: Common Logic
supports logic: CL⁻
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{FOLeq}
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: F-logic
supports logic: first-order logic with equality
supports logic: many-sorted first-order logic with equality
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: relational database schema
supports logic: SROIQ
supports logic: SubPCFOL⁼
translatable from: Common Logic
translatable from: SATLIB
translatable to: THF0
source: CASL
comment: Common Algebraic Specification Language

Common Logic
type: OntologyLanguage
exact logical expressivity: Common Logic
mappable from: OWL 2 DL
mappable from: SATLIB
mappable from: TPTP
mappable from language: OWL 2 DL
mappable from language: SATLIB
mappable from language: TPTP
mappable to: CASL
mappable to language: CASL
source of mapping: Common Logic→CASL
supports entity kind: name
supports entity kind: sequence marker
supports logic: Common Logic
supports logic: CL⁻
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: F-logic
supports logic: first-order logic with equality
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: SROIQ
supports serialization: CGIF
supports serialization: CLIF
translatable from: OWL 2 DL
translatable from: SATLIB
translatable from: TPTP
translatable to: CASL
standardization status: ISOStandard
comment: Common Logic (ISO/IEC 24707)

F-logic
type: OntologyLanguage
exact logical expressivity: F-logic
mappable from: OWL 2 DL
mappable from: TPTP
mappable from language: OWL 2 DL
mappable from language: TPTP
mappable to: TPTP
mappable to language: TPTP
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: F-logic
supports logic: first-order logic with equality
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: SROIQ
translatable from: OWL 2 DL
translatable from: TPTP
translatable to: TPTP
standardization status: AcademicLiterature

OBO 1.3
type: OntologyLanguage
supports logic: EL⁺⁺
source: GO.format.obo-1 3.shtml
comment: Open Biomedical Ontologies (OBO) 1.3

OBO 1.4
type: OntologyLanguage
source: GO.format.obo-1 4.shtml
comment: Open Biomedical Ontologies (OBO) 1.4

OWL 2 DL
type: OntologyLanguage
exact logical expressivity: SROIQ
mappable from: OWL 2 EL
mappable from: OWL 2 QL
mappable from: OWL 2 RL
mappable from: RDF
mappable from: SATLIB
mappable from language: OWL 2 EL
mappable from language: OWL 2 QL
mappable from language: OWL 2 RL
mappable from language: RDF
mappable from language: SATLIB
mappable to: Common Logic
mappable to: F-logic
mappable to: OWL 2 Full
mappable to: TPTP
mappable to language: Common Logic
mappable to language: F-logic
mappable to language: OWL 2 Full
mappable to language: TPTP
profile of: OWL 2 Full
sub language of: OWL 2 Full
supports entity kind: annotation property
supports entity kind: class
supports entity kind: data property
supports entity kind: named individual
supports entity kind: object property
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: OBO^{OWL}
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: SROIQ
supports serialization: OWL Manchester Syntax
supports serialization: OWL XML Serialization
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable from: OWL 2 EL
translatable from: OWL 2 QL
translatable from: OWL 2 RL
translatable from: RDF
translatable from: SATLIB
translatable to: Common Logic
translatable to: F-logic
translatable to: OWL 2 Full
translatable to: TPTP
standardization status: W3CRecommendation
source: REC-owl2-overview-20091027
comment: OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation)

OWL 2 EL
type: OntologyLanguage
exact logical expressivity: EL⁺⁺
mappable to: OWL 2 DL
mappable to language: OWL 2 DL
profile of: OWL 2 DL
sub language of: OWL 2 DL
supports entity kind: annotation property
supports entity kind: class
supports entity kind: data property
supports entity kind: named individual
supports entity kind: object property
supports logic: EL⁺⁺
supports serialization: OWL Manchester Syntax
supports serialization: OWL XML Serialization
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable to: OWL 2 DL
standardization status: W3CRecommendation
source: OWL 2 EL
comment: OWL 2 Web Ontology Language, EL Profile (W3C Recommendation)

OWL 2 Full
type: OntologyLanguage
exact logical expressivity: OWL 2 Full
mappable from: OWL 2 DL
mappable from language: OWL 2 DL
mappable to: TPTP
mappable to language: TPTP
supports entity kind: annotation property
supports entity kind: class
supports entity kind: data property
supports entity kind: named individual
supports entity kind: object property
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: SROIQ
supports serialization: OWL Manchester Syntax
supports serialization: OWL XML Serialization
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable from: OWL 2 DL
translatable to: TPTP
standardization status: W3CRecommendation
source: owl2-rdf-based-semantics
comment: OWL 2 Web Ontology Language, RDF semantics (W3C Recommendation)

OWL 2 QL
type: OntologyLanguage
exact logical expressivity: DL-Lite_R
mappable to: OWL 2 DL
mappable to language: OWL 2 DL
profile of: OWL 2 DL
sub language of: OWL 2 DL
supports entity kind: annotation property
supports entity kind: class
supports entity kind: data property
supports entity kind: named individual
supports entity kind: object property
supports logic: DL-Lite_R
supports serialization: OWL Manchester Syntax
supports serialization: OWL XML Serialization
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable to: OWL 2 DL
standardization status: W3CRecommendation
source: OWL 2 QL
comment: OWL 2 Web Ontology Language, QL Profile (W3C Recommendation)

OWL 2 RL
type: OntologyLanguage
exact logical expressivity: OWL 2 RL
mappable to: OWL 2 DL
mappable to language: OWL 2 DL
profile of: OWL 2 DL
sub language of: OWL 2 DL
supports entity kind: annotation property
supports entity kind: class
supports entity kind: data property
supports entity kind: named individual
supports entity kind: object property
supports logic: OWL 2 RL
supports serialization: OWL Manchester Syntax
supports serialization: OWL XML Serialization
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable to: OWL 2 DL
standardization status: W3CRecommendation
source: OWL 2 RL
comment: OWL 2 Web Ontology Language, RL Profile (W3C Recommendation)

RDF
type: OntologyLanguage
exact logical expressivity: RDF
mappable to: OWL 2 DL
mappable to: TPTP
mappable to language: OWL 2 DL
mappable to language: TPTP
supports logic: RDF
supports logic: simple RDF
supports serialization: Turtle
supports serialization: RDF/XML Syntax
translatable to: OWL 2 DL
translatable to: TPTP
standardization status: W3CRecommendation
source: REC-rdf-concepts-20040210
comment: Resource Description Framework (W3C Recommendation)

SATLIB
type: OntologyLanguage
exact logical expressivity: propositional logic
mappable to: CASL
mappable to: Common Logic
mappable to: OWL 2 DL
mappable to: TPTP
mappable to language: Common Logic
mappable to language: OWL 2 DL
mappable to language: TPTP
source of mapping: SATLIB→CASL
supports logic: propositional logic
translatable to: CASL
translatable to: Common Logic
translatable to: OWL 2 DL
translatable to: TPTP
source: www.satlib.org

THF0
type: OntologyLanguage
exact logical expressivity: Church Simple Type Theory
mappable from: CASL
mappable from language: CASL
supports logic: Church Simple Type Theory
supports logic: Common Logic
supports logic: CL⁻
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{FOLeq}
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: F-logic
supports logic: first-order logic with equality
supports logic: many-sorted first-order logic with equality
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: relational database schema
supports logic: SROIQ
supports logic: SubPCFOL⁼
translatable from: CASL

TPTP
type: OntologyLanguage
exact logical expressivity: first-order logic with equality
mappable from: F-logic
mappable from: OWL 2 DL
mappable from: OWL 2 Full
mappable from: RDF
mappable from: SATLIB
mappable from language: F-logic
mappable from language: OWL 2 DL
mappable from language: OWL 2 Full
mappable from language: RDF
mappable from language: SATLIB
mappable to: Common Logic
mappable to: F-logic
mappable to language: Common Logic
mappable to language: F-logic
supports logic: DDL^{OWL}
supports logic: DL-Lite_R
supports logic: E-Connections^{OWL}
supports logic: EL⁺⁺
supports logic: F-logic
supports logic: first-order logic with equality
supports logic: OBO^{OWL}
supports logic: OWL 2 Full
supports logic: OWL 2 RL
supports logic: propositional logic
supports logic: RDF
supports logic: simple RDF
supports logic: RDFS
supports logic: SROIQ
translatable from: F-logic
translatable from: OWL 2 DL
translatable from: OWL 2 Full
translatable from: RDF
translatable from: SATLIB
translatable to: Common Logic
translatable to: F-logic
source: ~tptp

Church Simple Type Theory
type: Logic
exactly mappable to: SubPCFOL⁼
faithfully mappable to: SubPCFOL⁼
mappable from: SubPCFOL⁼
mappable from logic: SubPCFOL⁼
mappable to: SubPCFOL⁼
mappable to logic: SubPCFOL⁼
model bijectively mappable to: SubPCFOL⁼
model expansively mappable to: SubPCFOL⁼
source of mapping: Church Simple Type Theory→SubPCFOL⁼ projection
specifies semantics of: THF0
theoroidally mappable to: SubPCFOL⁼
translatable from: SubPCFOL⁼
weakly exactly mappable to: SubPCFOL⁼

Common Logic
type: Logic
embeddable into: SubPCFOL⁼
exactly mappable to: SubPCFOL⁼
faithfully mappable to: SubPCFOL⁼
mappable from: CL⁻
mappable from: first-order logic with equality
mappable from: propositional logic
mappable from: SROIQ
mappable from logic: CL⁻
mappable from logic: first-order logic with equality
mappable from logic: propositional logic
mappable from logic: SROIQ
mappable to: SubPCFOL⁼
mappable to logic: SubPCFOL⁼
model bijectively mappable to: SubPCFOL⁼
model expansively mappable to: SubPCFOL⁼
source of mapping: Common Logic→SubPCFOL⁼ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: THF0
sub logic of: SubPCFOL⁼
theoroidally mappable to: SubPCFOL⁼
translatable from: CL⁻
translatable from: first-order logic with equality
translatable from: propositional logic
translatable from: SROIQ
translatable to: SubPCFOL⁼
weakly exactly mappable to: SubPCFOL⁼
standardization status: ISOStandard
comment: Common Logic (ISO/IEC 24707)

CL⁻
type: Logic
embeddable into: Common Logic
embeddable into: first-order logic with equality
exactly mappable to: Common Logic
exactly mappable to: first-order logic with equality
faithfully mappable to: Common Logic
faithfully mappable to: first-order logic with equality
mappable from: first-order logic with equality
mappable from logic: first-order logic with equality
mappable to: Common Logic
mappable to: first-order logic with equality
mappable to logic: Common Logic
mappable to logic: first-order logic with equality
model bijectively mappable to: Common Logic
model bijectively mappable to: first-order logic with equality
model expansively mappable to: Common Logic
model expansively mappable to: first-order logic with equality
plainly mappable to: Common Logic
plainly mappable to: first-order logic with equality
source of mapping: CL⁻→Common Logic translation
source of mapping: CL⁻→FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: THF0
sub logic of: Common Logic
theoroidally mappable to: Common Logic
theoroidally mappable to: first-order logic with equality
translatable from: first-order logic with equality
translatable to: Common Logic
translatable to: first-order logic with equality
weakly exactly mappable to: Common Logic
weakly exactly mappable to: first-order logic with equality
comment: Common Logic, restricted to sentences without sequence markers
alternative label: Common Logic without sequences

DDL^{OWL}
type: Logic
embeddable into: E-Connections^{OWL}
exactly mappable to: E-Connections^{OWL}
faithfully mappable to: E-Connections^{OWL}
mappable from: SROIQ
mappable from logic: SROIQ
mappable to: E-Connections^{OWL}
mappable to logic: E-Connections^{OWL}
model bijectively mappable to: E-Connections^{OWL}
model expansively mappable to: E-Connections^{OWL}
plainly mappable to: E-Connections^{OWL}
source of mapping: DDL^{OWL}→E-Connections^{OWL} translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: E-Connections^{OWL}
theoroidally mappable to: E-Connections^{OWL}
translatable from: SROIQ
translatable to: E-Connections^{OWL}
weakly exactly mappable to: E-Connections^{OWL}

DL-Lite_R
type: Logic
embeddable into: SROIQ
exactly mappable to: SROIQ
faithfully mappable to: SROIQ
mappable from: SROIQ
mappable from logic: SROIQ
mappable to: SROIQ
mappable to logic: SROIQ
model bijectively mappable to: SROIQ
model expansively mappable to: SROIQ
plainly mappable to: SROIQ
source of mapping: DL-Lite_R→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: OWL 2 QL
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: SROIQ
theoroidally mappable to: SROIQ
translatable to: SROIQ
weakly exactly mappable to: SROIQ
standardization status: AcademicLiterature

E-Connections^{FOLeq}
type: Logic
embeddable into: many-sorted first-order logic with equality
exactly mappable to: E-Connections^{OWL}
exactly mappable to: many-sorted first-order logic with equality
faithfully mappable to: E-Connections^{OWL}
faithfully mappable to: many-sorted first-order logic with equality
mappable from: E-Connections^{OWL}
mappable from: first-order logic with equality
mappable from logic: E-Connections^{OWL}
mappable from logic: first-order logic with equality
mappable to: E-Connections^{OWL}
mappable to: many-sorted first-order logic with equality
mappable to logic: E-Connections^{OWL}
mappable to logic: many-sorted first-order logic with equality
model bijectively mappable to: E-Connections^{OWL}
model bijectively mappable to: many-sorted first-order logic with equality
model expansively mappable to: E-Connections^{OWL}
model expansively mappable to: many-sorted first-order logic with equality
plainly mappable to: E-Connections^{OWL}
plainly mappable to: many-sorted first-order logic with equality
source of mapping: E-Connections^{FOL⁼}→E-Connections^{OWL} projection
source of mapping: E-Connections^{FOL⁼}→many-sorted FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: THF0
sub logic of: many-sorted first-order logic with equality
theoroidally mappable to: E-Connections^{OWL}
theoroidally mappable to: many-sorted first-order logic with equality
translatable from: E-Connections^{OWL}
translatable from: first-order logic with equality
translatable to: many-sorted first-order logic with equality
weakly exactly mappable to: E-Connections^{OWL}
weakly exactly mappable to: many-sorted first-order logic with equality

E-Connections^{OWL}
type: Logic
embeddable into: E-Connections^{FOLeq}
embeddable into: SROIQ
exactly mappable to: E-Connections^{FOLeq}
exactly mappable to: SROIQ
faithfully mappable to: E-Connections^{FOLeq}
faithfully mappable to: SROIQ
mappable from: DDL^{OWL}
mappable from: E-Connections^{FOLeq}
mappable from logic: DDL^{OWL}
mappable from logic: E-Connections^{FOLeq}
mappable to: E-Connections^{FOLeq}
mappable to: SROIQ
mappable to logic: E-Connections^{FOLeq}
mappable to logic: SROIQ
model bijectively mappable to: E-Connections^{FOLeq}
model bijectively mappable to: SROIQ
model expansively mappable to: E-Connections^{FOLeq}
model expansively mappable to: SROIQ
plainly mappable to: E-Connections^{FOLeq}
source of mapping: E-Connections^{OWL}→E-Connections^{FOL⁼} translation
source of mapping: E-Connections^{OWL}→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: E-Connections^{FOLeq}
sub logic of: SROIQ
theoroidally mappable to: E-Connections^{FOLeq}
theoroidally mappable to: SROIQ
translatable from: DDL^{OWL}
translatable to: E-Connections^{FOLeq}
translatable to: SROIQ
weakly exactly mappable to: E-Connections^{FOLeq}
weakly exactly mappable to: SROIQ

EL⁺⁺
type: Logic
embeddable into: SROIQ
exactly mappable to: SROIQ
faithfully mappable to: SROIQ
mappable from: SROIQ
mappable from logic: SROIQ
mappable to: OBO^{OWL}
mappable to: SROIQ
mappable to logic: OBO^{OWL}
mappable to logic: SROIQ
model bijectively mappable to: SROIQ
model expansively mappable to: SROIQ
plainly mappable to: OBO^{OWL}
plainly mappable to: SROIQ
source of mapping: EL⁺⁺→OBO^{OWL} translation
source of mapping: EL⁺⁺→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OBO 1.3
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 EL
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: SROIQ
theoroidally mappable to: OBO^{OWL}
theoroidally mappable to: SROIQ
translatable to: OBO^{OWL}
translatable to: SROIQ
weakly exactly mappable to: SROIQ
standardization status: AcademicLiterature
source: BaaderBrandtLutz-IJCAI-05.pdf
source: owled2008dc paper 3.pdf

F-logic
type: Logic
embeddable into: first-order logic with equality
exactly mappable to: first-order logic with equality
faithfully mappable to: first-order logic with equality
mappable from: first-order logic with equality
mappable from: SROIQ
mappable from logic: first-order logic with equality
mappable from logic: SROIQ
mappable to: first-order logic with equality
mappable to logic: first-order logic with equality
model bijectively mappable to: first-order logic with equality
model expansively mappable to: first-order logic with equality
source of mapping: F-logic→FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: first-order logic with equality
theoroidally mappable to: first-order logic with equality
translatable from: first-order logic with equality
translatable from: SROIQ
translatable to: first-order logic with equality
weakly exactly mappable to: first-order logic with equality
standardization status: AcademicLiterature

first-order logic
type: Logic
comment: first-order logic (without equality)
alternative label: FOL
alternative label: first-order logic (without equality)

first-order logic with equality
type: Logic
embeddable into: E-Connections^{FOLeq}
embeddable into: F-logic
embeddable into: many-sorted first-order logic with equality
exactly mappable to: Common Logic
exactly mappable to: E-Connections^{FOLeq}
exactly mappable to: F-logic
exactly mappable to: many-sorted first-order logic with equality
exactly mappable to: SROIQ
faithfully mappable to: Common Logic
faithfully mappable to: CL⁻
faithfully mappable to: E-Connections^{FOLeq}
faithfully mappable to: F-logic
faithfully mappable to: many-sorted first-order logic with equality
faithfully mappable to: SROIQ
mappable from: CL⁻
mappable from: F-logic
mappable from: many-sorted first-order logic with equality
mappable from: OWL 2 Full
mappable from: propositional logic
mappable from: RDF
mappable from: simple RDF
mappable from: RDFS
mappable from: SROIQ
mappable from logic: CL⁻
mappable from logic: F-logic
mappable from logic: many-sorted first-order logic with equality
mappable from logic: OWL 2 Full
mappable from logic: propositional logic
mappable from logic: RDF
mappable from logic: simple RDF
mappable from logic: RDFS
mappable from logic: SROIQ
mappable to: Common Logic
mappable to: CL⁻
mappable to: E-Connections^{FOLeq}
mappable to: F-logic
mappable to: many-sorted first-order logic with equality
mappable to: SROIQ
mappable to logic: Common Logic
mappable to logic: CL⁻
mappable to logic: E-Connections^{FOLeq}
mappable to logic: F-logic
mappable to logic: many-sorted first-order logic with equality
mappable to logic: SROIQ
model bijectively mappable to: E-Connections^{FOLeq}
model bijectively mappable to: F-logic
model bijectively mappable to: many-sorted first-order logic with equality
model bijectively mappable to: SROIQ
model expansively mappable to: Common Logic
model expansively mappable to: CL⁻
model expansively mappable to: E-Connections^{FOLeq}
model expansively mappable to: F-logic
model expansively mappable to: many-sorted first-order logic with equality
model expansively mappable to: SROIQ
plainly mappable to: Common Logic
plainly mappable to: CL⁻
plainly mappable to: E-Connections^{FOLeq}
plainly mappable to: F-logic
plainly mappable to: many-sorted first-order logic with equality
plainly mappable to: SROIQ
source of mapping: FOL⁼→SROIQ projection
source of mapping: FOL⁼→CL⁻ translation
source of mapping: FOL⁼→Common Logic translation
source of mapping: FOL⁼→E-Connections^{FOL⁼} translation
source of mapping: FOL⁼→F-logic translation
source of mapping: FOL⁼→many-sorted FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: E-Connections^{FOLeq}
sub logic of: F-logic
sub logic of: many-sorted first-order logic with equality
theoroidally mappable to: Common Logic
theoroidally mappable to: CL⁻
theoroidally mappable to: E-Connections^{FOLeq}
theoroidally mappable to: F-logic
theoroidally mappable to: many-sorted first-order logic with equality

many-sorted first-order logic with equality
type: Logic
embeddable into: first-order logic with equality
embeddable into: SubPCFOL⁼
exactly mappable to: first-order logic with equality
exactly mappable to: propositional logic
exactly mappable to: SubPCFOL⁼
faithfully mappable to: first-order logic with equality
faithfully mappable to: propositional logic
faithfully mappable to: SubPCFOL⁼
mappable from: E-Connections^{FOLeq}
mappable from: first-order logic with equality
mappable from: propositional logic
mappable from: relational database schema
mappable from: SubPCFOL⁼
mappable from logic: E-Connections^{FOLeq}
mappable from logic: first-order logic with equality
mappable from logic: propositional logic
mappable from logic: relational database schema
mappable from logic: SubPCFOL⁼
mappable to: first-order logic with equality
mappable to: propositional logic
mappable to: SubPCFOL⁼
mappable to logic: first-order logic with equality
mappable to logic: propositional logic
mappable to logic: SubPCFOL⁼
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: propositional logic
model bijectively mappable to: SubPCFOL⁼
model expansively mappable to: first-order logic with equality
model expansively mappable to: propositional logic
model expansively mappable to: SubPCFOL⁼
plainly mappable to: propositional logic
plainly mappable to: SubPCFOL⁼
source of mapping: many-sorted FOL⁼→propositional logic projection
source of mapping: FOL⁼→many-sorted FOL⁼ translation
source of mapping: many-sorted FOL⁼→SubPCFOL⁼ translation
specifies semantics of: CASL
specifies semantics of: THF0
sub logic of: SubPCFOL⁼
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: propositional logic
theoroidally mappable to: SubPCFOL⁼
translatable from: E-Connections^{FOLeq}
translatable from: first-order logic with equality
translatable from: propositional logic
translatable from: relational database schema
translatable to: first-order logic with equality
translatable to: SubPCFOL⁼
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: propositional logic
weakly exactly mappable to: SubPCFOL⁼
alternative label: many-sorted FOL with equality

OBO^{OWL}
type: Logic
embeddable into: SROIQ
exactly mappable to: SROIQ
faithfully mappable to: SROIQ
mappable from: EL⁺⁺
mappable from logic: EL⁺⁺
mappable to: SROIQ
mappable to logic: SROIQ
model bijectively mappable to: SROIQ
model expansively mappable to: SROIQ
plainly mappable to: SROIQ
source of mapping: OBO^{OWL}→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: SROIQ
theoroidally mappable to: SROIQ
translatable from: EL⁺⁺
translatable to: SROIQ
weakly exactly mappable to: SROIQ

OWL 2 Full
type: Logic
embeddable into: first-order logic with equality
exactly mappable to: first-order logic with equality
exactly mappable to: RDFS
faithfully mappable to: first-order logic with equality
faithfully mappable to: RDFS
mappable from: RDFS
mappable from: SROIQ
mappable from logic: RDFS
mappable from logic: SROIQ
mappable to: first-order logic with equality
mappable to: RDFS
mappable to logic: first-order logic with equality
mappable to logic: RDFS
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: RDFS
model expansively mappable to: first-order logic with equality
model expansively mappable to: RDFS
plainly mappable to: RDFS
source of mapping: OWL 2 Full→RDFS projection
source of mapping: OWL 2 Full→FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: first-order logic with equality
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: RDFS
translatable from: RDFS
translatable from: SROIQ
translatable to: first-order logic with equality
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: RDFS
standardization status: W3CRecommendation
source: owl2-rdf-based-semantics

OWL 2 RL
type: Logic
embeddable into: SROIQ
exactly mappable to: SROIQ
faithfully mappable to: SROIQ
mappable from: SROIQ
mappable from logic: SROIQ
mappable to: SROIQ
mappable to logic: SROIQ
model bijectively mappable to: SROIQ
model expansively mappable to: SROIQ
plainly mappable to: SROIQ
source of mapping: OWL 2 RL→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: OWL 2 RL
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: SROIQ
theoroidally mappable to: SROIQ
translatable to: SROIQ
weakly exactly mappable to: SROIQ
standardization status: W3CRecommendation

propositional logic
type: Logic
embeddable into: many-sorted first-order logic with equality
exactly mappable to: Common Logic
exactly mappable to: first-order logic with equality
exactly mappable to: many-sorted first-order logic with equality
exactly mappable to: SROIQ
faithfully mappable to: Common Logic
faithfully mappable to: first-order logic with equality
faithfully mappable to: many-sorted first-order logic with equality
faithfully mappable to: SROIQ
mappable from: many-sorted first-order logic with equality
mappable from logic: many-sorted first-order logic with equality
mappable to: Common Logic
mappable to: first-order logic with equality
mappable to: many-sorted first-order logic with equality
mappable to: SROIQ
mappable to logic: Common Logic
mappable to logic: first-order logic with equality
mappable to logic: many-sorted first-order logic with equality
mappable to logic: SROIQ
model bijectively mappable to: many-sorted first-order logic with equality
model expansively mappable to: Common Logic
model expansively mappable to: first-order logic with equality
model expansively mappable to: many-sorted first-order logic with equality
model expansively mappable to: SROIQ
plainly mappable to: Common Logic
plainly mappable to: first-order logic with equality
plainly mappable to: many-sorted first-order logic with equality
plainly mappable to: SROIQ
source of mapping: propositional logic→Common Logic translation
source of mapping: propositional logic→FOL⁼ translation
source of mapping: propositional logic→many-sorted FOL⁼ translation
source of mapping: propositional logic to CNF
source of mapping: propositional logic→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: SATLIB
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: many-sorted first-order logic with equality
theoroidally mappable to: Common Logic
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: many-sorted first-order logic with equality
theoroidally mappable to: SROIQ
translatable to: Common Logic
translatable to: first-order logic with equality
translatable to: many-sorted first-order logic with equality
translatable to: SROIQ
weakly exactly mappable to: Common Logic
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: many-sorted first-order logic with equality
weakly exactly mappable to: SROIQ

RDF
type: Logic
embeddable into: first-order logic with equality
embeddable into: RDFS
exactly mappable to: first-order logic with equality
exactly mappable to: simple RDF
exactly mappable to: RDFS
exactly mappable to: SROIQ
faithfully mappable to: first-order logic with equality
faithfully mappable to: simple RDF
faithfully mappable to: RDFS
faithfully mappable to: SROIQ
mappable from: simple RDF
mappable from: RDFS
mappable from logic: simple RDF
mappable from logic: RDFS
mappable to: first-order logic with equality
mappable to: simple RDF
mappable to: RDFS
mappable to: SROIQ
mappable to logic: first-order logic with equality
mappable to logic: simple RDF
mappable to logic: RDFS
mappable to logic: SROIQ
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: simple RDF
model bijectively mappable to: RDFS
model expansively mappable to: first-order logic with equality
model expansively mappable to: simple RDF
model expansively mappable to: RDFS
model expansively mappable to: SROIQ
plainly mappable to: simple RDF
plainly mappable to: RDFS
plainly mappable to: SROIQ
source of mapping: RDF→simple RDF projection
source of mapping: RDF→FOL⁼ translation
source of mapping: RDF→RDFS translation
source of mapping: RDF→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: RDF
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: first-order logic with equality
sub logic of: RDFS
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: simple RDF
theoroidally mappable to: RDFS
theoroidally mappable to: SROIQ
translatable from: simple RDF
translatable to: first-order logic with equality
translatable to: RDFS
translatable to: SROIQ
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: simple RDF
weakly exactly mappable to: RDFS
weakly exactly mappable to: SROIQ
standardization status: W3CRecommendation
comment: RDF Resource Description Framework (W3C Recommendation)

simple RDF
type: Logic
embeddable into: first-order logic with equality
embeddable into: RDF
exactly mappable to: first-order logic with equality
exactly mappable to: RDF
exactly mappable to: SROIQ
faithfully mappable to: first-order logic with equality
faithfully mappable to: RDF
faithfully mappable to: SROIQ
mappable from: RDF
mappable from logic: RDF
mappable to: first-order logic with equality
mappable to: RDF
mappable to: SROIQ
mappable to logic: first-order logic with equality
mappable to logic: RDF
mappable to logic: SROIQ
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: RDF
model expansively mappable to: first-order logic with equality
model expansively mappable to: RDF
model expansively mappable to: SROIQ
plainly mappable to: first-order logic with equality
plainly mappable to: RDF
plainly mappable to: SROIQ
source of mapping: simple RDF→FOL⁼ translation
source of mapping: simple RDF→RDF translation
source of mapping: simple RDF→SROIQ translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 DL
specifies semantics of: OWL 2 Full
specifies semantics of: RDF
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: first-order logic with equality
sub logic of: RDF
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: RDF
theoroidally mappable to: SROIQ
translatable to: first-order logic with equality
translatable to: RDF
translatable to: SROIQ
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: RDF
weakly exactly mappable to: SROIQ
standardization status: W3CRecommendation
source: interp
comment: Simple interpretations of RDF graphs

RDFS
type: Logic
embeddable into: first-order logic with equality
embeddable into: OWL 2 Full
exactly mappable to: first-order logic with equality
exactly mappable to: OWL 2 Full
exactly mappable to: RDF
faithfully mappable to: first-order logic with equality
faithfully mappable to: OWL 2 Full
faithfully mappable to: RDF
mappable from: OWL 2 Full
mappable from: RDF
mappable from logic: OWL 2 Full
mappable from logic: RDF
mappable to: first-order logic with equality
mappable to: OWL 2 Full
mappable to: RDF
mappable to logic: first-order logic with equality
mappable to logic: OWL 2 Full
mappable to logic: RDF
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: OWL 2 Full
model bijectively mappable to: RDF
model expansively mappable to: first-order logic with equality
model expansively mappable to: OWL 2 Full
model expansively mappable to: RDF
plainly mappable to: OWL 2 Full
plainly mappable to: RDF
source of mapping: RDFS→RDF projection
source of mapping: RDFS→FOL⁼ translation
source of mapping: RDFS→OWL 2 Full translation
specifies semantics of: CASL
specifies semantics of: Common Logic
specifies semantics of: F-logic
specifies semantics of: OWL 2 Full
specifies semantics of: THF0
specifies semantics of: TPTP
sub logic of: first-order logic with equality
sub logic of: OWL 2 Full
theoroidally mappable to: first-order logic with equality
theoroidally mappable to: OWL 2 Full
theoroidally mappable to: RDF
translatable from: RDF
translatable to: first-order logic with equality
translatable to: OWL 2 Full
weakly exactly mappable to: first-order logic with equality
weakly exactly mappable to: OWL 2 Full
weakly exactly mappable to: RDF
standardization status: W3CRecommendation
comment: RDF Vocabulary Description Language (a.k.a. 'RDF Schema'; W3C Recommendation)

relational database schema
type: Logic
embeddable into: many-sorted first-order logic with equality
exactly mappable to: many-sorted first-order logic with equality
faithfully mappable to: many-sorted first-order logic with equality
mappable to: many-sorted first-order logic with equality
mappable to logic: many-sorted first-order logic with equality
model bijectively mappable to: many-sorted first-order logic with equality
model expansively mappable to: many-sorted first-order logic with equality
source of mapping: relational database schema→many-sorted FOL⁼ translation
specifies semantics of: CASL
specifies semantics of: THF0
sub logic of: many-sorted first-order logic with equality
theoroidally mappable to: many-sorted first-order logic with equality
translatable to: many-sorted first-order logic with equality
weakly exactly mappable to: many-sorted first-order logic with equality

SROIQ
type: Logic
embeddable into: DDL^{OWL}
embeddable into: OWL 2 Full
exactly mappable to: Common Logic
exactly mappable to: DDL^{OWL}
exactly mappable to: DL-Lite_R
exactly mappable to: EL⁺⁺
exactly mappable to: first-order logic with equality
exactly mappable to: OWL 2 Full
exactly mappable to: OWL 2 RL
faithfully mappable to: Common Logic
faithfully mappable to: DDL^{OWL}
faithfully mappable to: DL-Lite_R
faithfully mappable to: EL⁺⁺
faithfully mappable to: F-logic
faithfully mappable to: first-order logic with equality
faithfully mappable to: OWL 2 Full
faithfully mappable to: OWL 2 RL
mappable from: DL-Lite_R
mappable from: E-Connections^{OWL}
mappable from: EL⁺⁺
mappable from: first-order logic with equality
mappable from: OBO^{OWL}
mappable from: OWL 2 RL
mappable from: propositional logic
mappable from: RDF
mappable from: simple RDF
mappable from logic: DL-Lite_R
mappable from logic: E-Connections^{OWL}
mappable from logic: EL⁺⁺
mappable from logic: first-order logic with equality
mappable from logic: OBO^{OWL}
mappable from logic: OWL 2 RL
mappable from logic: propositional logic
mappable from logic: RDF
mappable from logic: simple RDF
mappable to: Common Logic
mappable to: DDL^{OWL}
mappable to: DL-Lite_R
mappable to: EL⁺⁺
mappable to: F-logic
mappable to: first-order logic with equality
mappable to: OWL 2 Full
mappable to: OWL 2 RL
mappable to logic: Common Logic
mappable to logic: DDL^{OWL}
mappable to logic: DL-Lite_R
mappable to logic: EL⁺⁺
mappable to logic: F-logic
mappable to logic: first-order logic with equality
mappable to logic: OWL 2 Full
mappable to logic: OWL 2 RL
model bijectively mappable to: Common Logic
model bijectively mappable to: DDL^{OWL}
model bijectively mappable to: DL-Lite_R
model bijectively mappable to: EL⁺⁺
model bijectively mappable to: first-order logic with equality
model bijectively mappable to: OWL 2 Full
model bijectively mappable to: OWL 2 RL
model expansively mappable to: Common Logic
model expansively mappable to: DDL^{OWL}
model expansively mappable to: DL-Lite_R
model expansively mappable to: EL⁺⁺
model expansively mappable to: F-logic
model expansively mappable to: first-order logic with equality
model expansively mappable to: OWL 2 Full
model expansively mappable to: OWL 2 RL
plainly mappable to: Common Logic
plainly mappable to: DDL^{OWL}
plainly mappable to: DL-Lite_R
plainly mappable to: EL⁺⁺
plainly mappable to: F-logic
plainly mappable to: first-order logic with equality
plainly mappable to: OWL 2 Full
plainly mappable to: OWL 2 RL
source of mapping: SROIQ→DL-Lite_R projection
source of mapping: SROIQ→EL⁺⁺ projection
source of mapping: SROIQ→OWL 2 RL projection
source of mapping: SROIQ→Common Logic translation
source of mapping: SROIQ→DDL^{OWL} translation

SubPCFOL⁼
type: Logic
embeddable into: Church Simple Type Theory
exactly mappable to: Church Simple Type Theory
exactly mappable to: many-sorted first-order logic with equality
faithfully mappable to: Church Simple Type Theory
faithfully mappable to: many-sorted first-order logic with equality
mappable from: Church Simple Type Theory
mappable from: Common Logic
mappable from: many-sorted first-order logic with equality
mappable from logic: Church Simple Type Theory
mappable from logic: Common Logic
mappable from logic: many-sorted first-order logic with equality
mappable to: Church Simple Type Theory
mappable to: many-sorted first-order logic with equality
mappable to logic: Church Simple Type Theory
mappable to logic: many-sorted first-order logic with equality
model bijectively mappable to: Church Simple Type Theory
model bijectively mappable to: many-sorted first-order logic with equality
model expansively mappable to: Church Simple Type Theory
model expansively mappable to: many-sorted first-order logic with equality
plainly mappable to: many-sorted first-order logic with equality
source of mapping: SubPCFOL⁼→many-sorted FOL⁼ translation
source of mapping: SubPCFOL⁼→Church Simple Type Theory translation
specifies semantics of: CASL
specifies semantics of: THF0
sub logic of: Church Simple Type Theory
theoroidally mappable to: Church Simple Type Theory
theoroidally mappable to: many-sorted first-order logic with equality
translatable from: Common Logic
translatable from: many-sorted first-order logic with equality
translatable to: Church Simple Type Theory
weakly exactly mappable to: Church Simple Type Theory
weakly exactly mappable to: many-sorted first-order logic with equality

Church Simple Type Theory→SubPCFOL⁼ projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: TheoroidalMapping
type: WeaklyExactMapping
maps from: Church Simple Type Theory
maps to: SubPCFOL⁼

E-Connections^{FOL⁼}→E-Connections^{OWL} projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: E-Connections^{FOLeq}
maps to: E-Connections^{OWL}

FOL⁼→SROIQ projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: first-order logic with equality
maps to: SROIQ

many-sorted FOL⁼→propositional logic projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: many-sorted first-order logic with equality
maps to: propositional logic

OWL 2 Full→RDFS projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: OWL 2 Full
maps to: RDFS

RDFS→RDF projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: RDFS
maps to: RDF

RDF→simple RDF projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: RDF
maps to: simple RDF

SROIQ→DL-Lite_R projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: SROIQ
maps to: DL-Lite_R

SROIQ→EL⁺⁺ projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: SROIQ
maps to: EL⁺⁺

SROIQ→OWL 2 RL projection
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: SROIQ
maps to: OWL 2 RL

SubPCFOL⁼→many-sorted FOL⁼ translation
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: WeaklyExactMapping
maps from: SubPCFOL⁼
maps to: many-sorted first-order logic with equality

OntoIOp registry
comment: 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)

CGIF
type: Serialization
serializes: Common Logic
standardization status: ISOStandard
alternative label: Conceptual Graph Interchange Format

CLIF
type: Serialization
alt filename extension: clf
pref filename extension: clif
serializes: Common Logic
standardization status: ISOStandard
alternative label: Common Logic Interchange Format

CLIF
type: Serialization
pref filename extension: xcl
serializes: Common Logic
standardization status: ISOStandard
alternative label: Common Logic Interchange Format

OWL Manchester Syntax
type: Serialization
media type: text/owl-manchester
pref filename extension: omn
serializes: OWL 2 DL
serializes: OWL 2 EL
serializes: OWL 2 Full
serializes: OWL 2 QL
serializes: OWL 2 RL
standardization status: W3CWorkingGroupNote
source: NOTE-owl2-manchester-syntax-20091027

OWL XML Serialization
type: Serialization
media type: application/owl+xml
pref filename extension: owx
serializes: OWL 2 DL
serializes: OWL 2 EL
serializes: OWL 2 Full
serializes: OWL 2 QL
serializes: OWL 2 RL
standardization status: W3CRecommendation
source: REC-owl2-xml-serialization-20091027

Turtle
type: Serialization
alt filename extension: ttl
media type: text/turtle
pref filename extension: turtle
serializes: OWL 2 DL
serializes: OWL 2 EL
serializes: OWL 2 Full
serializes: OWL 2 QL
serializes: OWL 2 RL
serializes: RDF
standardization status: W3CTeamSubmission
source: turtle
comment: Terse RDF Triple Language

RDF/XML Syntax
type: Serialization
media type: application/rdf+xml
pref filename extension: rdf
serializes: OWL 2 DL
serializes: OWL 2 EL
serializes: OWL 2 Full
serializes: OWL 2 QL
serializes: OWL 2 RL
serializes: RDF
standardization status: W3CRecommendation
source: REC-rdf-syntax-grammar-20040210

CL⁻→Common Logic translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: CL⁻
maps to: Common Logic

CL⁻→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: CL⁻
maps to: first-order logic with equality

Common Logic→CASL
type: Mapping
type: OntologyLanguageMapping
type: Translation
maps from: Common Logic
maps to: CASL

Common Logic→SubPCFOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: Common Logic
maps to: SubPCFOL⁼

DDL^{OWL}→E-Connections^{OWL} translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: DDL^{OWL}
maps to: E-Connections^{OWL}

DL-Lite_R→SROIQ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: SROIQ→DL-Lite_R projection
maps from: DL-Lite_R
maps to: SROIQ

E-Connections^{FOL⁼}→many-sorted FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: E-Connections^{FOLeq}
maps to: many-sorted first-order logic with equality

E-Connections^{OWL}→E-Connections^{FOL⁼} translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: E-Connections^{FOL⁼}→E-Connections^{OWL} projection
maps from: E-Connections^{OWL}
maps to: E-Connections^{FOLeq}

E-Connections^{OWL}→SROIQ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: E-Connections^{OWL}
maps to: SROIQ

EL⁺⁺→OBO^{OWL} translation
type: DefaultMapping
type: LogicMapping
type: Mapping
type: PlainMapping
type: Translation
maps from: EL⁺⁺
maps to: OBO^{OWL}

EL⁺⁺→SROIQ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: SROIQ→EL⁺⁺ projection
maps from: EL⁺⁺
maps to: SROIQ

F-logic→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: F-logic
maps to: first-order logic with equality

FOL⁼→CL⁻ translation
type: DefaultMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
maps from: first-order logic with equality
maps to: CL⁻

FOL⁼→Common Logic translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: first-order logic with equality
maps to: Common Logic

FOL⁼→E-Connections^{FOL⁼} translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: first-order logic with equality
maps to: E-Connections^{FOLeq}

FOL⁼→F-logic translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: first-order logic with equality
maps to: F-logic

FOL⁼→many-sorted FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: first-order logic with equality
maps to: many-sorted first-order logic with equality

FOL⁼→many-sorted FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: many-sorted first-order logic with equality
maps to: first-order logic with equality

many-sorted FOL⁼→SubPCFOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: SubPCFOL⁼→many-sorted FOL⁼ translation
maps from: many-sorted first-order logic with equality
maps to: SubPCFOL⁼

OBO^{OWL}→SROIQ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: OBO^{OWL}
maps to: SROIQ

OWL 2 Full→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: OWL 2 Full
maps to: first-order logic with equality

OWL 2 RL→SROIQ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: SROIQ→OWL 2 RL projection
maps from: OWL 2 RL
maps to: SROIQ

propositional logic→Common Logic translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: propositional logic
maps to: Common Logic

propositional logic→FOL⁼ translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: propositional logic
maps to: first-order logic with equality

propositional logic→many-sorted FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: many-sorted FOL⁼→propositional logic projection
maps from: propositional logic
maps to: many-sorted first-order logic with equality

propositional logic to CNF
type: DefaultMapping
type: LogicMapping
type: Mapping
type: PlainMapping
type: Translation
maps from: propositional logic
maps to: propositional logic
comment: translation from propositional logic to propositional logic in Conjunctive Normal Form (CNF)

propositional logic→SROIQ translation
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: propositional logic
maps to: SROIQ
comment: 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).

RDFS→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: RDFS
maps to: first-order logic with equality

RDFS→OWL 2 Full translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: OWL 2 Full→RDFS projection
maps from: RDFS
maps to: OWL 2 Full

RDF→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: RDF
maps to: first-order logic with equality

RDF→RDFS translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: RDFS→RDF projection
maps from: RDF
maps to: RDFS

RDF→SROIQ translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: RDF
maps to: SROIQ

relational database schema→many-sorted FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
maps from: relational database schema
maps to: many-sorted first-order logic with equality

SATLIB→CASL
type: Mapping
type: OntologyLanguageMapping
type: Translation
maps from: SATLIB
maps to: CASL

SROIQ→Common Logic translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: SROIQ
maps to: Common Logic

SROIQ→DDL^{OWL} translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: SROIQ
maps to: DDL^{OWL}

SROIQ→F-logic translation
type: DefaultMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
maps from: SROIQ
maps to: F-logic

SROIQ→FOL⁼ translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
adjoint: FOL⁼→SROIQ projection
maps from: SROIQ
maps to: first-order logic with equality

SROIQ→OWL2Full translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: SROIQ
maps to: OWL 2 Full

simple RDF→FOL⁼ translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
maps from: simple RDF
maps to: first-order logic with equality

simple RDF→RDF translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: PlainMapping
type: SubLogic
type: Translation
type: WeaklyExactMapping
adjoint: RDF→simple RDF projection
maps from: simple RDF
maps to: RDF

simple RDF→SROIQ translation
type: DefaultMapping
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelExpansiveMapping
type: PlainMapping
type: Translation
type: WeaklyExactMapping
maps from: simple RDF
maps to: SROIQ

SubPCFOL⁼→Church Simple Type Theory translation
type: DefaultMapping
type: Embedding
type: ExactMapping
type: FaithfulMapping
type: LogicMapping
type: Mapping
type: ModelBijectiveMapping
type: ModelExpansiveMapping
type: SubLogic
type: TheoroidalMapping
type: Translation
type: WeaklyExactMapping
adjoint: Church Simple Type Theory→SubPCFOL⁼ projection
maps from: SubPCFOL⁼
maps to: Church Simple Type Theory