cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski<rdf:RDF xmlns:dct="http://purl.org/dc/terms/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:kind="http://purl.net/dol/entityKinds/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:kindCL="http://purl.net/dol/entityKinds/CL/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:kindOWL2="http://purl.net/dol/entityKinds/OWL2/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:lang="http://purl.net/dol/languages/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:langOBO="http://purl.net/dol/languages/OBO/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:langOWL2="http://purl.net/dol/languages/OWL2/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:latinSyntax="http://latin.omdoc.org/logics/syntax?"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:latinTPTP="http://latin.omdoc.org/logics/tptp?"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:logCL="http://purl.net/dol/logics/CommonLogic/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:logOWL2="http://purl.net/dol/logics/OWL2/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:logRDF="http://purl.net/dol/logics/RDF/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:proj="http://purl.net/dol/projections/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:ser="http://purl.net/dol/serializations/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:serCL="http://purl.net/dol/serializations/CommonLogic/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:serOWL2="http://purl.net/dol/serializations/OWL2/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:serRDF="http://purl.net/dol/serializations/RDF/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:skos="http://www.w3.org/2004/02/skos/core#"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:stand="http://purl.net/dol/1.0/standardization#"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:trans="http://purl.net/dol/translations/"
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski xmlns:xsd="http://www.w3.org/2001/XMLSchema-datatypes#">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/CL/Name">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>name</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/CL/SequenceMarker">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>sequence marker</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/AnnotationProperty">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Annotation_Properties"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>annotation property</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2002/07/owl#AnnotationProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/Class">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Classes"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>class</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/DataProperty">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Data_Properties"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>data property</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/Datatype">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Datatypes"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>annotation property</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/NamedIndividual">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Named_Individuals"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>named individual</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/entityKinds/OWL2/ObjectProperty">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Object_Properties"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>object property</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Entity"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/CASL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>How should we name the 'standardization status'?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>No idea what LATIN language we should link this to</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/SubPCFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsLogic rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.informatik.uni-bremen.de/cofi/wiki/index.php/CASL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Common Algebraic Specification Language</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CASL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/CommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/CL/Name"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/CL/SequenceMarker"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsLogic rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/CommonLogic/CGIF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/CommonLogic/CLIF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/CommonLogic/XCL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#ISOStandard"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Common Logic (ISO/IEC 24707)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Common Logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/F-logic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/F-logic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>F-logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OBO/1.3">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsLogic rdf:nodeID="b1"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.geneontology.org/GO.format.obo-1_3.shtml"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Open Biomedical Ontologies (OBO) 1.3</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OBO 1.3</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OBO/1.4">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsLogic rdf:nodeID="b2"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.geneontology.org/GO.format.obo-1_4.shtml"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Open Biomedical Ontologies (OBO) 1.4</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OBO 1.4</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OWL2/DL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:profileOf rdf:resource="http://purl.net/dol/languages/OWL2/Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-overview-20091027/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>OWL 2 Web Ontology Language, Description Logic semantics (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 DL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?OWL2DL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OWL2/EL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/ELplusplus"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:profileOf rdf:resource="http://purl.net/dol/languages/OWL2/DL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_EL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>OWL 2 Web Ontology Language, EL Profile (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 EL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?OWL2EL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OWL2/Full">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/OWL2/Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/AnnotationProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/Class"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/DataProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/Datatype"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/NamedIndividual"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsEntityKind rdf:resource="http://purl.net/dol/entityKinds/OWL2/ObjectProperty"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/OWL2/Manchester"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/OWL2/XML"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/RDF/Turtle"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/RDF/XML"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/owl2-rdf-based-semantics/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>OWL 2 Web Ontology Language, RDF semantics (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 Full</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?OWL2Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OWL2/QL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/DLLiteR"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:profileOf rdf:resource="http://purl.net/dol/languages/OWL2/DL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_QL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>OWL 2 Web Ontology Language, QL Profile (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 QL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?OWL2QL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/OWL2/RL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/OWL2/RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:profileOf rdf:resource="http://purl.net/dol/languages/OWL2/DL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/#OWL_2_RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>OWL 2 Web Ontology Language, RL Profile (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 RL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?OWL2RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/RDF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/RDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/RDF/Turtle"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:supportsSerialization rdf:resource="http://purl.net/dol/serializations/RDF/XML"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Resource Description Framework (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/SATLIB">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.satlib.org/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SATLIB</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/THF0">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>The namespace latinTPTP: looks strange to me; all the other logics and ontology languages are in latinSyntax: instead. So is this link right?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/ChurchSimpleTypeTheory"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>THF0</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/tptp?THF0"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguage rdf:about="http://purl.net/dol/languages/TPTP">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:exactLogicalExpressivity rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.cs.miami.edu/~tptp/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>TPTP</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguage>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/ChurchSimpleTypeTheory">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Church Simple Type Theory</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?FOLEQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/CommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>There is also latinSyntax:BaseCL; I wonder whether it is useful for us.</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#ISOStandard"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Common Logic (ISO/IEC 24707)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Common Logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?CL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/CommonLogic/WithoutSequences">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Common Logic, restricted to sentences without sequence markers</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CL⁻</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">Common Logic without sequences</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">CL⁻</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/DDLOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>DDL^{OWL}</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/DLLiteR">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>DL-Lite_R</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/ECoFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{FOLeq}</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/ECoOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{OWL}</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/ELplusplus">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:subLogicOf rdf:nodeID="b1"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://lat.inf.tu-dresden.de/research/papers/2005/BaaderBrandtLutz-IJCAI-05.pdf"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_3.pdf"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>EL⁺⁺</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/F-logic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>F-logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/FOL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Which label do we prefer?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>first-order logic (without equality)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>first-order logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?FOLEQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">FOL</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">first-order logic (without equality)</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">first-order logic</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/FOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-03-21</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Which label do we prefer?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>first-order logic with equality</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>first-order logic with equality</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?FOLEQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">FOL⁼</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">first-order logic with equality</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/FOLeqms">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-03-21</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Which label do we prefer?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Is latinSyntax:SFOLEQ the right thing to link to?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>many-sorted first-order logic with equality</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?SFOLEQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">many-sorted FOL with equality</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">many-sorted first-order logic with equality</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/OBOOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OBO^{OWL}</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/OWL2/Full">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/owl2-rdf-based-semantics/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 Full</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/OWL2/RL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 RL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/Propositional">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-03-20</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Do we want to call it 'Propositional', or 'Prop'?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Is latinSyntax:PL the right thing to link to?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://latin.omdoc.org/logics/syntax?PL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/RDF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>RDF Resource Description Framework (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/RDF/Simple">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#interp"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Simple interpretations of RDF graphs</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>simple RDF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/RDFS">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>RDF Vocabulary Description Language (a.k.a. 'RDF Schema'; W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDFS</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/RelationalSchema">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:task rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-10</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Maybe add some version of SQL as a language that supports this logic.</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>relational database schema</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/SROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>SROIQ, the logic of OWL 2 Web Ontology Language DL (W3C Recommendation)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:about="http://purl.net/dol/logics/SubPCFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:task rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>The rdfs:label may need improvement; the rdfs:comment needs to be written; what is the stand:standardizationStatus?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:task rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>No idea what LATIN logic we should link this to</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment></rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SubPCFOL⁼</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Church Simple Type Theory→SubPCFOL⁼ projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/ECoFOLeqToECoOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{FOL⁼}→E-Connections^{OWL} projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/FOLeqToSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→SROIQ projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/FOLeqmsToPropositional">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>many-sorted FOL⁼→propositional logic projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/OWL2FullToRDFS">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 Full→RDFS projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/RDFStoRDF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDFS→RDF projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/RDFtoSimpleRDF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF→simple RDF projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/SROIQtoDLLiteR">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→DL-Lite_R projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/SROIQtoELplusplus">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→EL⁺⁺ projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/SROIQtoOWL2RL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→OWL 2 RL projection</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/projections/SubPCFOLeqToFOLeqms">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SubPCFOL⁼→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description rdf:about="http://purl.net/dol/registry">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs: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)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OntoIOp registry</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:seeAlso rdf:resource="http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/CommonLogic/CGIF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#ISOStandard"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CGIF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://purl.org/xcl/1.0/#dialect-cgif"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">Conceptual Graph Interchange Format</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">CGIF</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/CommonLogic/CLIF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:altFilenameExtension>clf</dol:altFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>clif</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#ISOStandard"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CLIF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://purl.org/xcl/1.0/#dialect-clif"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">Common Logic Interchange Format</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">CLIF</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/CommonLogic/XCL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>xcl</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#ISOStandard"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CLIF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:sameAs rdf:resource="http://purl.org/xcl/1.0/#dialect-xcl"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:altLabel xml:lang="en">Common Logic Interchange Format</skos:altLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <skos:prefLabel xml:lang="en">CLIF</skos:prefLabel>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/OWL2/Manchester">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mediaType>text/owl-manchester</dol:mediaType>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>omn</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CWorkingGroupNote"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL Manchester Syntax</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/OWL2/XML">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mediaType>application/owl+xml</dol:mediaType>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>owx</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL XML Serialization</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/RDF/Turtle">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:altFilenameExtension>ttl</dol:altFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mediaType>text/turtle</dol:mediaType>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>turtle</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CTeamSubmission"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TeamSubmission/turtle/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Terse RDF Triple Language</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Turtle</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Serialization rdf:about="http://purl.net/dol/serializations/RDF/XML">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mediaType>application/rdf+xml</dol:mediaType>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:prefFilenameExtension>rdf</dol:prefFilenameExtension>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#W3CRecommendation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:source rdf:resource="http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF/XML Syntax</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:Serialization>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/CLWithoutSequencesToCommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/CommonLogic/WithoutSequences"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CL⁻→Common Logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/CLWithoutSequencesToFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Embedding"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/CommonLogic/WithoutSequences"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>CL⁻→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguageMapping rdf:about="http://purl.net/dol/translations/CommonLogicToCASL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/languages/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/languages/CASL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Common Logic→CASL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguageMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/CommonLogicToSubPCFOLeq">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SubPCFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>Common Logic→SubPCFOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/DDLOWLtoECoOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/DDLOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/ECoOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>DDL^{OWL}→E-Connections^{OWL} translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/DLLiteRtoSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/SROIQtoDLLiteR"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/DLLiteR"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>DL-Lite_R→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/ECoFOLeqToFOLeqms">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/ECoFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{FOL⁼}→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/ECoOWLtoECoFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/ECoFOLeqToECoOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/ECoOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/ECoFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{OWL}→E-Connections^{FOL⁼} translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/ECoOWLtoSROIQ">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/ECoOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>E-Connections^{OWL}→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/ELplusplusToOBOOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:task rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Find out what kind of translation this is. We need it to say that OBO^{OWL} is between EL⁺⁺ and SROIQ in expressivity.</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/ELplusplus"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/OBOOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>EL⁺⁺→OBO^{OWL} translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/ELplusplusToSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/SROIQtoELplusplus"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/ELplusplus"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>EL⁺⁺→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/F-logicToFOLeq">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/F-logic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>F-logic→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqToCLWithoutSequences">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/CommonLogic/WithoutSequences"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→CL⁻ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqToCommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→Common Logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqToECoFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/ECoFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→E-Connections^{FOL⁼} translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqToF-logic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/F-logic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→F-logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqToFOLeqms">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqmsToFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Embedding"/>
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>FOL⁼→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/FOLeqmsToSubPCFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/SubPCFOLeqToFOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SubPCFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>many-sorted FOL⁼→SubPCFOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/OBOOWLtoSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/OBOOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OBO^{OWL}→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/OWL2FullToFOLeq">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/OWL2/Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 Full→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/OWL2RLtoSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/SROIQtoOWL2RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/OWL2/RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OWL 2 RL→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/PropositionalToCommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic→Common Logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/PropositionalToFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:task rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-27</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>If this is just the composition of trans:PropositionalToSROIQ and trans:SROIQtoFOLeq, remove it from the explicit graph.</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/PropositionalToFOLeqms">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/FOLeqmsToPropositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/PropositionalToPropositionalCNF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Should we introduce a more specific type for this kind of translations?</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>translation from propositional logic to propositional logic in Conjunctive Normal Form (CNF)</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic to CNF</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:ExactMapping rdf:about="http://purl.net/dol/translations/PropositionalToSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/Propositional"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Note that this is not a default mapping; for details see: Till Mossakowski, Oliver Kutz, Christoph Lange. Three Semantics for the Core of the Distributed Ontology Language; in 7th International Conference on Formal Ontology in Information Systems (FOIS), 2012-07-24/2012-07-27 in Graz, Austria; 2012 (http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf).</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>propositional logic→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:ExactMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RDFStoFOLeq">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDFS"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDFS→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RDFStoOWL2Full">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/OWL2FullToRDFS"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDFS"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/OWL2/Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDFS→OWL 2 Full translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RDFtoFOLeq">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RDFtoRDFS">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/RDFStoRDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/RDFS"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF→RDFS translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RDFtoSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>RDF→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/RelationalSchemaToFOLeqms">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RelationalSchema"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeqms"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>relational database schema→many-sorted FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:OntologyLanguageMapping rdf:about="http://purl.net/dol/translations/SATLIBtoCASL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/languages/SATLIB"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/languages/CASL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SATLIB→CASL</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:OntologyLanguageMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SROIQtoCommonLogic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelBijectiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/CommonLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→Common Logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SROIQtoDDLOWL">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/DDLOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→DDL^{OWL} translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SROIQtoF-logic">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/F-logic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→F-logic translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SROIQtoFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelBijectiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/FOLeqToSROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SROIQtoOWL2Full">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/OWL2/Full"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SROIQ→OWL2Full translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SimpleRDFtoFOLeq">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF/Simple"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>simple RDF→FOL⁼ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SimpleRDFtoRDF">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/RDFtoSimpleRDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF/Simple"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/RDF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>simple RDF→RDF translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SimpleRDFtoSROIQ">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/RDF/Simple"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/SROIQ"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>simple RDF→SROIQ translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:DefaultMapping rdf:about="http://purl.net/dol/translations/SubPCFOLeqToChurchSimpleTypeTheory">
42d3bd7431f7afeb2a5cf930f75f50ecaab22cd3Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SimpleTheoroidalMapping"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:adjoint rdf:resource="http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsFrom rdf:resource="http://purl.net/dol/logics/SubPCFOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:mapsTo rdf:resource="http://purl.net/dol/logics/ChurchSimpleTypeTheory"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>SubPCFOL⁼→Church Simple Type Theory translation</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </dol:DefaultMapping>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <todo:question rdf:parseType="Resource">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:creator>Christoph Lange</dct:creator>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dct:date rdf:datatype="http://www.w3.org/2001/XMLSchema-datatypes#date">2012-04-17</dct:date>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:value>Or should we say W3CRecommendation? The OWL 2 Profiles recommendation does not really much about the logic behind OWL 2 RL.</rdf:value>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </todo:question>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/standardization#standardizationStatus"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/logics/OWL2/RL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget rdf:resource="http://purl.net/dol/1.0/standardization#AcademicLiterature"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:nodeID="b1">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:translatableToLogic rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>the unknown logic supported by OBO 1.3</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>We are not sure if this is a sublogic.</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/rdf#translatableToLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:nodeID="b1"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:Logic rdf:nodeID="b2">
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:translatableToLogic rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>the unknown logic supported by OBO 1.4</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>We are not sure if this is a sublogic.</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/rdf#translatableToLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:nodeID="b2"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget rdf:resource="http://purl.net/dol/logics/FOLeq"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://purl.net/dol/1.0/rdf#SubLogic"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:translatesFromLogic rdf:resource="http://purl.net/dol/logics/OBOOWL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <dol:translatesToLogic rdf:nodeID="b2"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:label>OBO^{OWL}→the logic of OBO 1.4</rdfs:label>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:comment>Note: We are not using the latter IRIs in the first place, as all you get when dereferencing them is a language specification written in HTML.</rdfs:comment>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://www.w3.org/2002/07/owl#sameAs"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/serializations/CommonLogic/CLIF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget rdf:resource="http://purl.org/xcl/1.0/#dialect-clif"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#Unofficial"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/rdf#prefFilenameExtension"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/serializations/CommonLogic/CLIF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget>clif</owl:annotatedTarget>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#Unofficial"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/rdf#altFilenameExtension"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/serializations/CommonLogic/CLIF"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget>clf</owl:annotatedTarget>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:Description>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Annotation"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <stand:standardizationStatus rdf:resource="http://purl.net/dol/1.0/standardization#Unofficial"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <rdfs:isDefinedBy rdf:resource="http://purl.net/dol/registry"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedProperty rdf:resource="http://purl.net/dol/1.0/rdf#prefFilenameExtension"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/serializations/CommonLogic/XCL"/>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski <owl:annotatedTarget>xcl</owl:annotatedTarget>
cbc7f7ea90538f481b528959e9b6cf837b0dd785Till Mossakowski </rdf:Description>