<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
<!ENTITY todo "http://example.org/todo#" >
]>
xml:base="http://purl.net/dol/1.0/rdf"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:dct="http://purl.org/dc/terms/"
xmlns:todo="http://example.org/todo#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace">
<owl:versionInfo>1.0</owl:versionInfo>
<todo:task>When scaling this ontology implementation up to DOL, look below for annotations marked as 'beyond OWL'. These things can be modeled in FOL.</todo:task>
<rdfs:comment>RDF serialization of DOL, implemented as an OWL ontology. Actually some axioms that we would like to have go beyond OWL.</rdfs:comment>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<owl:AnnotationProperty rdf:about="&dct;creator"/>
<rdfs:comment>This is just for informative purposes: Even though it probably does not go beyond OWL, it doesn't work for annotation properties in Protégé
Domain: owl:Class
Range: xsd:boolean</rdfs:comment>
<rdfs:comment>The subject class denotes a kind of mapping that, if it holds for a translation, also holds for the adjoint projection.</rdfs:comment>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&todo;task"/>
<owl:AnnotationProperty rdf:about="&dct;date"/>
<owl:AnnotationProperty rdf:about="&rdfs;comment"/>
<owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
<rdfs:comment>This is just for informative purposes: Even though it probably does not go beyond OWL, it doesn't work for annotation properties in Protégé
Domain: OntologyLanguage
Range: owl:Class that rdfs:subClassOf value Entity</rdfs:comment>
</owl:AnnotationProperty>
<rdfs:comment>This is just for informative purposes: It doesn't work for annotation properties
InverseOf: supportsEntityKind</rdfs:comment>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&dct;source"/>
<rdfs:comment>This is just for informative purposes: It doesn't work for annotation properties
InverseOf: reifies</rdfs:comment>
<rdfs:comment>The subject property is reified by the object class.</rdfs:comment>
</owl:AnnotationProperty>
<rdfs:comment>The subject class reifies the object property.</rdfs:comment>
<rdfs:comment>This is just for informative purposes: Even though it probably does not go beyond OWL, it doesn't work for annotation properties in Protégé
Domain: owl:Class
Range: owl:ObjectProperty</rdfs:comment>
</owl:AnnotationProperty>
<owl:AnnotationProperty rdf:about="&todo;question"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Datatypes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral -->
<rdfs:Datatype rdf:about="&rdf;PlainLiteral"/>
<!-- http://www.w3.org/2001/XMLSchema-datatypes#boolean -->
<rdfs:Datatype rdf:about="&xsd;boolean"/>
<!-- http://www.w3.org/2001/XMLSchema-datatypes#date -->
<rdfs:Datatype rdf:about="&xsd;date"/>
<!-- http://www.w3.org/2001/XMLSchema-datatypes#string -->
<rdfs:Datatype rdf:about="&xsd;string"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.net/dol/1.0/rdf#adjoint -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#alignmentIn -->
<!-- http://purl.net/dol/1.0/rdf#compositionOf -->
<rdfs:comment>Range can't be specified in OWL DL</rdfs:comment>
<rdfs:comment>The subject mapping is the composition of the object list of mappings (list item 1 ∘ list item 2 ∘ … ∘ list item n). All elements of the latter list must be instances of the same class as the subject. (Enforcing the latter constraint goes beyond OWL.)</rdfs:comment>
<todo:question>I don't think we need subclasses for specific types of mappings, do we?</todo:question>
</owl:ObjectProperty>
<owl:Axiom>
<dct:date rdf:datatype="&xsd;date">2012-04-30</dct:date>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedTarget>I don't think we need subclasses for specific types of mappings, do we?</owl:annotatedTarget>
<owl:annotatedProperty rdf:resource="&todo;question"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends -->
<owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends">
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#conservativelyExtends -->
<dct:source>This synonym is inspired by CASL.</dct:source>
<owl:equivalentProperty rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#definitionallyExtends -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#embeddableInto -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>The subject is embeddable into the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#exactLogicalExpressivity -->
<rdfs:comment>The subject ontology language has exactly the expressivity of the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#exactlyCorrespondingMapping -->
<rdfs:comment>The subject ontology language mapping exactly corresponds to the object logic mapping.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#exactlyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is an exact mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#extends -->
<todo:question>While the abstract and text syntaxes of DOL attach the 'kind of extension' to _one_ ontology, the semantics (CASL reference section 5.2.5) rather suggests that this is a relation between _two_ ontologies (which may or may not be given explicitly in the syntax). Is it, therefore, OK, to model it like this in RDF? Maybe we should also provide a semantically equivalent alternative that is more intuitive wrt. the syntax?</todo:question>
</owl:ObjectProperty>
<owl:Axiom>
<dct:date rdf:datatype="&xsd;date">2011-12-04</dct:date>
<owl:annotatedTarget>While the abstract and text syntaxes of DOL attach the 'kind of extension' to _one_ ontology, the semantics (CASL reference section 5.2.5) rather suggests that this is a relation between _two_ ontologies (which may or may not be given explicitly in the syntax). Is it, therefore, OK, to model it like this in RDF? Maybe we should also provide a semantically equivalent alternative that is more intuitive wrt. the syntax?</owl:annotatedTarget>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedProperty rdf:resource="&todo;question"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#faithfullyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a faithful mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#hasAlignment -->
<rdfs:comment>The subject is a distributed ontology, in which the object is an alignment between two participating ontologies.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#hasInterpretation -->
<rdfs:comment>The subject is a distributed ontology, in which the object is an interpretation between two participating ontologies.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#hasLink -->
<rdfs:comment>The subject is a distributed ontology, in which the object is a link between two participating ontologies.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#hasMember -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#hasOntology -->
<rdfs:comment>The subject is a distributed ontology, in which the object is a participating heterogeneous ontology.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#impliedExtensionOf -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#interpretationIn -->
<!-- http://purl.net/dol/1.0/rdf#language -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the language of an ontology</rdfs:comment>
<rdfs:comment>The reasoners in Protégé don't like us to say the following. Together with the SubPropertyChain specified for supportsSerialization it would go beyond OWL DL anyway.
SubPropertyChain: serialization o serializes</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#linkIn -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#logic -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<todo:question>Inside a 'logic section' in the abstract syntax, there are also views. Therefore, do we need another, analogous RDF property for 'the logic of a view'?</todo:question>
<rdfs:comment>the logic in which an ontology is formalized</rdfs:comment>
</owl:ObjectProperty>
<owl:Axiom>
<dct:date rdf:datatype="&xsd;date">2011-12-04</dct:date>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedTarget>Inside a 'logic section' in the abstract syntax, there are also views. Therefore, do we need another, analogous RDF property for 'the logic of a view'?</owl:annotatedTarget>
<owl:annotatedProperty rdf:resource="&todo;question"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#mappableFrom -->
<rdfs:comment>There is a mapping from the object to the subject.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mappableFromLanguage -->
<rdfs:comment>There is a mapping from the object ontology language to the subject ontology language.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mappableFromLogic -->
<rdfs:comment>There is a mapping from the object logic to the subject logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a mapping from the subject to the object.</rdfs:comment>
<owl:propertyChainAxiom rdf:parseType="Collection">
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mappableToLanguage -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a mapping from the subject ontology language to the object ontology language.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mappableToLogic -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a mapping from the subject logic to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mapsFrom -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>The subject mapping maps from the object into something of the same type as the object. (Enforcing the latter constraint goes beyond OWL.)</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#mapsTo -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>The subject mapping maps from something into the object (which is of the same type). Enforcing the latter constraint goes beyond OWL.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#memberOf -->
<!-- http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<todo:question>Do we have a better idea for naming this? Maybe mappableToWithBijectiveModels?</todo:question>
<rdfs:comment>There is a model-bijective mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<owl:Axiom>
<dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
<owl:annotatedTarget>Do we have a better idea for naming this? Maybe mappableToWithBijectiveModels?</owl:annotatedTarget>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedProperty rdf:resource="&todo;question"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#modelExpansivelyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a model-expansive mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends -->
<owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends">
<strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends"/>
<rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends"/>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#monomorphicallyExtends -->
<rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
<strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#ontologyIn -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#plainlyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a plain mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#profileOf -->
<rdfs:comment>The subject is a profile of the object ontology language. This is a stronger notion than just being a sublanguage. Supported serializations are shared along this property.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#projectableFrom -->
<rdfs:comment>There is a projection from the object to the subject.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#projectableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a projection from the subject to the object.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#serialization -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the serialization in which an ontology is written</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#serializes -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#source -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the source ontology of a link</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#sourceOfMapping -->
<!-- http://purl.net/dol/1.0/rdf#specifiesSemanticsOf -->
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#subLanguageOf -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>The subject is a sublanguage of the object ontology language. Supported logics are shared along the inverse of this property.</rdfs:comment>
<todo:question>Do we need both subLanguageOf and profileOf? Intuitively I do think so, and I think it's reasonable to distinguish them via their properties wrt. logic/serialization propagation.</todo:question>
</owl:ObjectProperty>
<owl:Axiom>
<dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
<owl:annotatedTarget>Do we need both subLanguageOf and profileOf? Intuitively I do think so, and I think it's reasonable to distinguish them via their properties wrt. logic/serialization propagation.</owl:annotatedTarget>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedProperty rdf:resource="&todo;question"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#subLogicOf -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>The subject is a sublogic of the object.</rdfs:comment>
<owl:propertyChainAxiom rdf:parseType="Collection">
<rdf:Description>
</rdf:Description>
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#supportsLogic -->
<rdfs:comment>The semantics of [a subset of] the subject ontology language can be specified in terms of the object logic.</rdfs:comment>
<owl:propertyChainAxiom rdf:parseType="Collection">
<rdf:Description>
</rdf:Description>
</owl:propertyChainAxiom>
<owl:propertyChainAxiom rdf:parseType="Collection">
<rdf:Description>
</rdf:Description>
</owl:propertyChainAxiom>
</owl:ObjectProperty>
<owl:Annotation>
<dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
<owl:annotatedTarget>On the board we had 'inverse subLanguageOf o exactLogicalExpressivity', but I think we can be more general.</owl:annotatedTarget>
<dct:creator>Christoph Lange</dct:creator>
<owl:annotatedProperty rdf:resource="&todo;question"/>
<owl:annotatedSource>
<owl:Axiom>
<todo:question>On the board we had 'inverse subLanguageOf o exactLogicalExpressivity', but I think we can be more general.</todo:question>
<owl:annotatedProperty rdf:resource="&owl;propertyChainAxiom"/>
<owl:annotatedTarget rdf:parseType="Collection">
<rdf:Description>
</rdf:Description>
</owl:annotatedTarget>
</owl:Axiom>
</owl:annotatedSource>
</owl:Annotation>
<!-- http://purl.net/dol/1.0/rdf#supportsSerialization -->
<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
<rdfs:comment>The reasoners in Protégé don't like us to say the following. Together with the SubPropertyChain specified for language it would go beyond OWL DL anyway.
SubPropertyChain: profileOf o supportsSerialization</rdfs:comment>
<rdfs:comment>Note that the serialization should be as specific as possible, i.e. one should not say that ``OWL can be serialized in XML'' and ``Common Logic can be serialized in XML'', but instead ``OWL can be serialized in OWL XML'' and ``Common Logic can be serialized in XCL'', taking into account that OWL XML and XCL are two different XML languages.</rdfs:comment>
<rdfs:comment>Ontologies in the subject ontology language can be serialized in the object serialization.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#target -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the target ontology of a link</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#theoroidallyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a theoroidal mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#translatableFrom -->
<rdfs:comment>There is a translation from the object to the subject.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#translatableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a translation from the subject to the object.</rdfs:comment>
</owl:ObjectProperty>
<!-- http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo -->
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<rdfs:comment>There is a weakly exact mapping from the subject to the object logic.</rdfs:comment>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Data properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.net/dol/1.0/rdf#altFilenameExtension -->
<rdfs:comment>an alternative filename extension for a serialization</rdfs:comment>
<rdfs:range rdf:resource="&xsd;string"/>
</owl:DatatypeProperty>
<!-- http://purl.net/dol/1.0/rdf#mediaType -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the media type (MIME type) of a serialization</rdfs:comment>
<rdfs:range rdf:resource="&xsd;string"/>
</owl:DatatypeProperty>
<!-- http://purl.net/dol/1.0/rdf#prefFilenameExtension -->
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
<rdfs:comment>the preferred filename extension for a serialization</rdfs:comment>
<rdfs:range rdf:resource="&xsd;string"/>
</owl:DatatypeProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.net/dol/1.0/rdf#Alignment -->
<rdfs:comment>an alignment between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#BasicOntology -->
<rdfs:comment>a basic ontology (in a single language, logic, and serialization)</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#DefaultMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#DistributedOntology -->
<rdfs:comment>a distributed ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Embedding -->
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Entity -->
<rdfs:comment>an entity in an ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#ExactMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#FaithfulMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Interpretation -->
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Link -->
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
<rdfs:comment>a link between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Logic -->
<rdfs:comment>a logic that defines the semantics of an ontology language</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#LogicMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
<rdfs:comment>a mapping (translation or projection) between two logics</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Mapping -->
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
<rdfs:comment>a generic mapping (translation or projection)</rdfs:comment>
</owl:Class>
<owl:Axiom>
<rdfs:comment>Apparently one has to say 'owl:Thing' here; omitting it is legal by http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/#Descriptions, but Protégé doesn't like it</rdfs:comment>
<owl:annotatedProperty rdf:resource="&rdfs;subClassOf"/>
<owl:annotatedTarget>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
<owl:Restriction>
<owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:annotatedTarget>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#ModelBijectiveMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#ModelExpansiveMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Ontology -->
<rdfs:comment>an ontology, distributed or basic</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#OntologyLanguage -->
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
</owl:Restriction>
<owl:Restriction>
</owl:Restriction>
<owl:Restriction>
</owl:Restriction>
<owl:Restriction>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
<rdfs:comment>an ontology language</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#OntologyLanguageMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
<rdfs:comment>a mapping (translation or projection) between two ontology languages</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#PlainMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<owl:Axiom>
<rdfs:comment>Protégé 4.2 doesn't like 'Class: Mapping DisjointUnionOf: PlainMapping, TheoroidalMapping', so we do it this way:</rdfs:comment>
<owl:annotatedProperty rdf:resource="&owl;disjointWith"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#Projection -->
<rdfs:comment>a generic projection</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Sentence -->
<rdfs:comment>a sentence in an ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#Serialization -->
<rdfs:comment>a serialization of an ontology language</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#SubLogic -->
<rdfs:comment>'syntactic' embedding</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#TheoroidalMapping -->
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
<rdfs:comment>orthogonal to WeaklyExactMapping and FaithfulMapping</rdfs:comment>
</owl:Class>
<owl:Axiom>
<rdfs:comment>Protégé 4.2 doesn't like 'Class: Mapping DisjointUnionOf: PlainMapping, TheoroidalMapping', so we do it this way:</rdfs:comment>
<owl:annotatedProperty rdf:resource="&owl;disjointWith"/>
</owl:Axiom>
<!-- http://purl.net/dol/1.0/rdf#Translation -->
<rdfs:comment>a generic translation</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#View -->
<rdfs:comment>a view (also called interpretation) between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
</owl:Class>
<!-- http://purl.net/dol/1.0/rdf#WeaklyExactMapping -->
<propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
</owl:Class>
<!-- http://www.w3.org/2002/07/owl#Thing -->
<owl:Class rdf:about="&owl;Thing"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// General axioms
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<rdf:Description>
<rdf:type rdf:resource="&owl;AllDisjointClasses"/>
<owl:members rdf:parseType="Collection">
</owl:members>
</rdf:Description>
</rdf:RDF>
<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->