cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski#Processed by Id: cwm.py,v 1.197 2007/12/13 15:38:39 syosi Exp
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski # using base file:///mnt/data/svn/agbkb.informatik.uni-bremen.de/I1_OntoSpace/standards/OntoIOp/registry/registry-expanded.ntriples
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski# Notation3 generation by
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski# notation3.py,v 1.200 2007/12/11 21:18:08 syosi Exp
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski# Base was: file:///mnt/data/svn/agbkb.informatik.uni-bremen.de/I1_OntoSpace/standards/OntoIOp/registry/registry-expanded.ntriples
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski @prefix co: <http://www.w3.org/2004/02/skos/core#> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski @prefix owl: <http://www.w3.org/2002/07/owl#> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski @prefix sta: <http://purl.net/dol/1.0/standardization#> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <#_g0> <http://www.w3.org/2000/10/swap/log#forSome> <#_g1>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/CL/Name> :entityKindIn <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "name";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/CL/SequenceMarker> :entityKindIn <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "sequence marker";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "annotation property";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs owl:AnnotationProperty .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Classes>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "class";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs owl:Class .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Data_Properties>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "data property";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs owl:DatatypeProperty .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Datatypes>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "annotation property";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Named_Individuals>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "named individual";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs owl:NamedIndividual .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty> :entityKindIn <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Object_Properties>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "object property";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#subClassOf> :Entity;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs owl:ObjectProperty .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CASL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/THF0>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/THF0>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/THF0>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Common Algebraic Specification Language";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CASL" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/CommonLogicToCASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/CL/Name>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/CL/SequenceMarker>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/CommonLogic/CGIF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/CommonLogic/CLIF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/CommonLogic/XCL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:ISOStandard;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Common Logic (ISO/IEC 24707)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Common Logic" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/F-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/F-logic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:AcademicLiterature;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "F-logic" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OBO/1.3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/ELplusplus>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.geneontology.org/GO.format.obo-1_3.shtml>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Open Biomedical Ontologies (OBO) 1.3";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OBO 1.3" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OBO/1.4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic [
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.geneontology.org/GO.format.obo-1_4.shtml>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Open Biomedical Ontologies (OBO) 1.4";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OBO 1.4" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OWL2/DL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/OWL2/EL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/OWL2/EL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :profileOf <http://purl.net/dol/languages/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLanguageOf <http://purl.net/dol/languages/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/OWL2/Manchester>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/OWL2/EL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-overview-20091027/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 DL";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?OWL2DL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OWL2/EL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :profileOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLanguageOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/OWL2/Manchester>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_EL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "OWL 2 Web Ontology Language, EL Profile (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 EL";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?OWL2EL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OWL2/Full> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/OWL2/Manchester>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/TPTP>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/owl2-rdf-based-semantics/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "OWL 2 Web Ontology Language, RDF semantics (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 Full";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?OWL2Full> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OWL2/QL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/DLLiteR>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :profileOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLanguageOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/DLLiteR>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/OWL2/Manchester>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_QL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "OWL 2 Web Ontology Language, QL Profile (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 QL";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?OWL2QL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/OWL2/RL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/OWL2/RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :profileOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLanguageOf <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsEntityKind <http://purl.net/dol/entityKinds/OWL2/AnnotationProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Class>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/DataProperty>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/Datatype>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/NamedIndividual>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/entityKinds/OWL2/ObjectProperty>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/OWL2/RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/OWL2/Manchester>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/OWL2/DL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "OWL 2 Web Ontology Language, RL Profile (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 RL";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?OWL2RL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/RDF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/RDF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsSerialization <http://purl.net/dol/serializations/RDF/Turtle>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Resource Description Framework (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/SATLIB> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/SATLIB>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/SATLIB>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/SATLIBtoCASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/SATLIB>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.satlib.org/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SATLIB" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/THF0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "THF0";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/tptp?THF0> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/TPTP> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :OntologyLanguage,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactLogicalExpressivity <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/languages/F-logic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLanguage <http://purl.net/dol/languages/F-logic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLanguage <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :supportsLogic <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/languages/F-logic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.cs.miami.edu/~tptp/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "TPTP" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/ChurchSimpleTypeTheory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/THF0>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Church Simple Type Theory";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?FOLEQ> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/CommonLogicToSubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:ISOStandard;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Common Logic (ISO/IEC 24707)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Common Logic";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?CL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/CLWithoutSequencesToCommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/CLWithoutSequencesToFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Common Logic, restricted to sentences without sequence markers";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CL⁻";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "Common Logic without sequences"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "CL⁻"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/DDLOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/DDLOWLtoECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "DDL^{OWL}" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/DLLiteR> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/DLLiteRtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:AcademicLiterature;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "DL-Lite_R" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/ECoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/ECoFOLeqToECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ECoFOLeqToFOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/ECoOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{FOLeq}" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/ECoOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/ECoFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/ECoOWLtoECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ECoOWLtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/DDLOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{OWL}" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/ELplusplus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/OBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/OBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/OBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/ELplusplusToOBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ELplusplusToSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/OBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/OBOOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:AcademicLiterature;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://lat.inf.tu-dresden.de/research/papers/2005/BaaderBrandtLutz-IJCAI-05.pdf>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_3.pdf>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "EL⁺⁺" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/F-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/F-logicToFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:AcademicLiterature;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "F-logic" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/FOL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "first-order logic (without equality)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "first-order logic";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?FOLEQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "FOL"@en,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski "first-order logic (without equality)"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "first-order logic"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/FOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/FOLeqToSROIQ>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToCLWithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToCommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToF-logic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToFOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/CommonLogic/WithoutSequences>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "first-order logic with equality";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "first-order logic with equality";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?FOLEQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "FOL⁼"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "first-order logic with equality"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/FOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/FOLeqmsToPropositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqmsToFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqmsToSubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/ECoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "many-sorted first-order logic with equality";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?SFOLEQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "many-sorted FOL with equality"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "many-sorted first-order logic with equality"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/OBOOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/OBOOWLtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OBO^{OWL}" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/OWL2/Full> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/RDFS>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/RDFS>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/RDFS>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/OWL2FullToRDFS>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/OWL2FullToFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/RDFS>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/owl2-rdf-based-semantics/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 Full" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/OWL2/RL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/OWL2RLtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 RL" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/FOLeqms>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/FOLeqms>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/PropositionalToCommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToFOLeqms>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToPropositionalCNF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://latin.omdoc.org/logics/syntax?PL> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RDF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/RDF/Simple>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/RDF/Simple>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/RDF/Simple>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/RDFtoSimpleRDF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoRDFS>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/RDF/Simple>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "RDF Resource Description Framework (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RDF/Simple> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/SimpleRDFtoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SimpleRDFtoRDF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SimpleRDFtoSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#interp>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Simple interpretations of RDF graphs";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "simple RDF" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RDFS> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/OWL2/Full>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/OWL2/Full>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/OWL2/Full>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/RDFStoRDF>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFStoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFStoOWL2Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "RDF Vocabulary Description Language (a.k.a. 'RDF Schema'; W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDFS" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/RelationalSchema> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/translations/RelationalSchemaToFOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "relational database schema" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/SROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/DLLiteR>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/DLLiteR>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/SROIQtoDLLiteR>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SROIQtoELplusplus>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SROIQtoOWL2RL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoCommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoDDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoF-logic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoFOLeq>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoOWL2Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/languages/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/DDLOWL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/DLLiteR>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/Propositional>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:AcademicLiterature;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "SROIQ, the logic of OWL 2 Web Ontology Language DL (W3C Recommendation)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/logics/SubPCFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Logic;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :embeddableInto <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :exactlyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :faithfullyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFrom <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableFromLogic <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mappableToLogic <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelBijectivelyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :modelExpansivelyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :plainlyMappableTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :sourceOfMapping <http://purl.net/dol/projections/SubPCFOLeqToFOLeqms>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SubPCFOLeqToChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :specifiesSemanticsOf <http://purl.net/dol/languages/CASL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :subLogicOf <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :theoroidallyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableFrom <http://purl.net/dol/logics/CommonLogic>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :translatableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :weaklyExactlyMappableTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SubPCFOL⁼" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Church Simple Type Theory→SubPCFOL⁼ projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/ECoFOLeqToECoOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ECoFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{FOL⁼}→E-Connections^{OWL} projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/FOLeqToSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→SROIQ projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/FOLeqmsToPropositional> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "many-sorted FOL⁼→propositional logic projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/OWL2FullToRDFS> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 Full→RDFS projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/RDFStoRDF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDFS>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDFS→RDF projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/RDFtoSimpleRDF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/RDF/Simple>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF→simple RDF projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SROIQtoDLLiteR> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/DLLiteR>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→DL-Lite_R projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SROIQtoELplusplus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→EL⁺⁺ projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SROIQtoOWL2RL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/OWL2/RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→OWL 2 RL projection" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/projections/SubPCFOLeqToFOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SubPCFOL⁼→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/registry> <http://www.w3.org/2000/01/rdf-schema#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)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OntoIOp registry";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp> .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/CommonLogic/CGIF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:ISOStandard;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CGIF";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://purl.org/xcl/1.0/#dialect-cgif>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "Conceptual Graph Interchange Format"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "CGIF"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/CommonLogic/CLIF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :altFilenameExtension "clf";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "clif";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:ISOStandard;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CLIF";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://purl.org/xcl/1.0/#dialect-clif>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "Common Logic Interchange Format"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "CLIF"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/CommonLogic/XCL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "xcl";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:ISOStandard;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CLIF";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski owl:sameAs <http://purl.org/xcl/1.0/#dialect-xcl>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:altLabel "Common Logic Interchange Format"@en;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski co:prefLabel "CLIF"@en .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/Manchester> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "omn";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CWorkingGroupNote;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL Manchester Syntax" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/OWL2/XML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mediaType "application/owl+xml";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "owx";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL XML Serialization" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/Turtle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :altFilenameExtension "ttl";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "turtle";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CTeamSubmission;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TeamSubmission/turtle/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "Terse RDF Triple Language";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Turtle" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/serializations/RDF/XML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Serialization;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mediaType "application/rdf+xml";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :prefFilenameExtension "rdf";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :serializes <http://purl.net/dol/languages/OWL2/DL>,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski sta:standardizationStatus sta:W3CRecommendation;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.org/dc/terms/source> <http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF/XML Syntax" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/CLWithoutSequencesToCommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CL⁻→Common Logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/CLWithoutSequencesToFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/CommonLogic/WithoutSequences>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "CL⁻→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/CommonLogicToCASL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Mapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :OntologyLanguageMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/languages/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Common Logic→CASL" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/CommonLogicToSubPCFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "Common Logic→SubPCFOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/DDLOWLtoECoOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/DDLOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "DDL^{OWL}→E-Connections^{OWL} translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/DLLiteRtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/SROIQtoDLLiteR>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/DLLiteR>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "DL-Lite_R→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ECoFOLeqToFOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ECoFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{FOL⁼}→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ECoOWLtoECoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/ECoFOLeqToECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ECoFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{OWL}→E-Connections^{FOL⁼} translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ECoOWLtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ECoOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "E-Connections^{OWL}→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ELplusplusToOBOOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/OBOOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "EL⁺⁺→OBO^{OWL} translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/ELplusplusToSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/SROIQtoELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/ELplusplus>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "EL⁺⁺→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/F-logicToFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/F-logic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "F-logic→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToCLWithoutSequences> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/CommonLogic/WithoutSequences>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→CL⁻ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToCommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→Common Logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToECoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ECoFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→E-Connections^{FOL⁼} translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToF-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/F-logic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→F-logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqToFOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqmsToFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "FOL⁼→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/FOLeqmsToSubPCFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/SubPCFOLeqToFOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "many-sorted FOL⁼→SubPCFOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/OBOOWLtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/OBOOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OBO^{OWL}→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/OWL2FullToFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 Full→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/OWL2RLtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/SROIQtoOWL2RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/OWL2/RL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "OWL 2 RL→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToCommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic→Common Logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToFOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/FOLeqmsToPropositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToPropositionalCNF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#comment> "translation from propositional logic to propositional logic in Conjunctive Normal Form (CNF)";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic to CNF" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/PropositionalToSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/Propositional>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#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).";
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "propositional logic→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFStoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDFS>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDFS→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFStoOWL2Full> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/OWL2FullToRDFS>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDFS>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDFS→OWL 2 Full translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoRDFS> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/RDFStoRDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF→RDFS translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RDFtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "RDF→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/RelationalSchemaToFOLeqms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RelationalSchema>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeqms>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "relational database schema→many-sorted FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SATLIBtoCASL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :Mapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :OntologyLanguageMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/languages/SATLIB>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/languages/CASL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SATLIB→CASL" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoCommonLogic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/CommonLogic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→Common Logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoDDLOWL> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/DDLOWL>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→DDL^{OWL} translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoF-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/F-logic>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→F-logic translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/FOLeqToSROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SROIQtoOWL2Full> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/OWL2/Full>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SROIQ→OWL2Full translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SimpleRDFtoFOLeq> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF/Simple>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/FOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "simple RDF→FOL⁼ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SimpleRDFtoRDF> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/RDFtoSimpleRDF>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF/Simple>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "simple RDF→RDF translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SimpleRDFtoSROIQ> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :PlainMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/RDF/Simple>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/SROIQ>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "simple RDF→SROIQ translation" .
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://purl.net/dol/translations/SubPCFOLeqToChurchSimpleTypeTheory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> :DefaultMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :FaithfulMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :LogicMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelBijectiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :ModelExpansiveMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :TheoroidalMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :Translation,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :WeaklyExactMapping,
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :adjoint <http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsFrom <http://purl.net/dol/logics/SubPCFOLeq>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski :mapsTo <http://purl.net/dol/logics/ChurchSimpleTypeTheory>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.net/dol/registry>;
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <http://www.w3.org/2000/01/rdf-schema#label> "SubPCFOL⁼→Church Simple Type Theory translation" .