1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY todo "http://example.org/todo#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY dc "http://purl.org/dc/elements/1.1/" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY xml "http://www.w3.org/XML/1998/namespace" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!ENTITY xsd "http://www.w3.org/2001/XMLSchema-datatypes#" >
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski<rdf:RDF xmlns="http://purl.net/dol/1.0/rdf#"
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski xmlns:dc="http://purl.org/dc/elements/1.1/"
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski xmlns:xml="http://www.w3.org/XML/1998/namespace">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Ontology rdf:about="http://purl.net/dol/1.0/rdf#">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski // Annotation properties
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&dct;creator"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#strictlyStrongerThan"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#propagatesToAdjoint">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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é
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiDomain: owl:Class
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&todo;task"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&dct;date"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#supportsEntityKind">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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é
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiDomain: OntologyLanguage
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiRange: owl:Class that rdfs:subClassOf value Entity</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#entityKindIn">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>This is just for informative purposes: It doesn't work for annotation properties
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiInverseOf: supportsEntityKind</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&dct;source"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#reifiedBy">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>This is just for informative purposes: It doesn't work for annotation properties
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject property is reified by the object class.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="http://purl.net/dol/1.0/rdf#reifies">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject class reifies the object property.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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é
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiDomain: owl:Class
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:AnnotationProperty rdf:about="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:Datatype rdf:about="&rdf;PlainLiteral"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://www.w3.org/2001/XMLSchema-datatypes#boolean -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://www.w3.org/2001/XMLSchema-datatypes#date -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://www.w3.org/2001/XMLSchema-datatypes#string -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski // Object Properties
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#adjoint -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#adjoint">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Projection"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#alignmentIn -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#alignmentIn"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#compositionOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#compositionOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>Range can't be specified in OWL DL</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <todo:question>I don't think we need subclasses for specific types of mappings, do we?</todo:question>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2012-04-30</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget>I don't think we need subclasses for specific types of mappings, do we?</owl:annotatedTarget>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#compositionOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#extends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#conservativelyExtends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#conservativelyExtends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:source>This synonym is inspired by CASL.</dct:source>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:equivalentProperty rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#definitionallyExtends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#definitionallyExtends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#monomorphicallyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#monomorphicallyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#embeddableInto -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#embeddableInto">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is embeddable into the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#exactlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableToLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#translatableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#exactLogicalExpressivity -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#exactLogicalExpressivity">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject ontology language has exactly the expressivity of the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#exactlyCorrespondingMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#exactlyCorrespondingMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject ontology language mapping exactly corresponds to the object logic mapping.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#OntologyLanguageMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#exactlyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#exactlyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is an exact mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#extends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#extends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2011-12-04</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#extends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#faithfullyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#faithfullyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a faithful mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableToLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#hasAlignment -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#hasAlignment">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a distributed ontology, in which the object is an alignment between two participating ontologies.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Alignment"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#alignmentIn"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#hasLink"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#hasInterpretation -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#hasInterpretation">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a distributed ontology, in which the object is an interpretation between two participating ontologies.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Interpretation"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#hasLink"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#interpretationIn"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#hasLink -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#hasLink">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a distributed ontology, in which the object is a link between two participating ontologies.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Link"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#hasMember"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#hasMember -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#hasMember">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#DistributedOntology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#memberOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#hasOntology -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#hasOntology">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a distributed ontology, in which the object is a participating heterogeneous ontology.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#hasMember"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#impliedExtensionOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#impliedExtensionOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#definitionallyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#definitionallyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#interpretationIn -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#interpretationIn"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#language -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#language">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the language of an ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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.
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiSubPropertyChain: serialization o serializes</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#OntologyLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#linkIn -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#linkIn">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#hasLink"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#logic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the logic in which an ontology is formalized</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2011-12-04</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableFrom -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableFrom">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the object to the subject.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableFromLanguage -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableFromLanguage">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the object ontology language to the subject ontology language.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableFromLogic -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableFromLogic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the object logic to the subject logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the subject to the object.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:propertyChainAxiom rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#sourceOfMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#mapsTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableToLanguage -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableToLanguage">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the subject ontology language to the object ontology language.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableFromLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mappableToLogic -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mappableToLogic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a mapping from the subject logic to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableFromLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mapsFrom -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mapsFrom">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#sourceOfMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mapsTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#mapsTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#memberOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#memberOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <todo:question>Do we have a better idea for naming this? Maybe mappableToWithBijectiveModels?</todo:question>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a model-bijective mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#modelExpansivelyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget>Do we have a better idea for naming this? Maybe mappableToWithBijectiveModels?</owl:annotatedTarget>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#modelExpansivelyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#modelExpansivelyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a model-expansive mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#faithfullyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#consequenceTheoreticallyConservativelyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#monomorphicallyExtends -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#monomorphicallyExtends">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <strictlyStrongerThan rdf:resource="http://purl.net/dol/1.0/rdf#modelTheoreticallyConservativelyExtends"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#ontologyIn -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#ontologyIn">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#hasOntology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#plainlyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#plainlyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a plain mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#theoroidallyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#profileOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#profileOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#subLanguageOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#projectableFrom -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#projectableFrom">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a projection from the object to the subject.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableFrom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#projectableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#projectableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a projection from the subject to the object.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#projectableFrom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#serialization -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#serialization">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the serialization in which an ontology is written</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#serializes -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#serializes">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#supportsSerialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#source -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#source">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the source ontology of a link</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Link"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#sourceOfMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#sourceOfMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#specifiesSemanticsOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#specifiesSemanticsOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#subLanguageOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#subLanguageOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a sublanguage of the object ontology language. Supported logics are shared along the inverse of this property.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableToLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#translatableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#subLanguageOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#subLogicOf -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#subLogicOf">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The subject is a sublogic of the object.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#embeddableInto"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:propertyChainAxiom rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#exactLogicalExpressivity"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#subLanguageOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#exactLogicalExpressivity"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#supportsLogic -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#supportsLogic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>The semantics of [a subset of] the subject ontology language can be specified in terms of the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#OntologyLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:propertyChainAxiom rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#subLanguageOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:propertyChainAxiom rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#subLogicOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <dct:date rdf:datatype="&xsd;date">2012-04-17</dct:date>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget>On the board we had 'inverse subLanguageOf o exactLogicalExpressivity', but I think we can be more general.</owl:annotatedTarget>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&todo;question"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <todo:question>On the board we had 'inverse subLanguageOf o exactLogicalExpressivity', but I think we can be more general.</todo:question>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&owl;propertyChainAxiom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#subLanguageOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#supportsSerialization -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#supportsSerialization">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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.
1688462641d407b27eebb03f98286b888ba6326eTill MossakowskiSubPropertyChain: profileOf o supportsSerialization</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>Ontologies in the subject ontology language can be serialized in the object serialization.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#OntologyLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#target -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#target">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the target ontology of a link</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Link"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:range rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#theoroidallyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#theoroidallyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a theoroidal mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableToLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#translatableFrom -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#translatableFrom">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a translation from the object to the subject.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableFrom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:inverseOf rdf:resource="http://purl.net/dol/1.0/rdf#translatableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#translatableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#translatableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a translation from the subject to the object.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:ObjectProperty rdf:about="http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;TransitiveProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>There is a weakly exact mapping from the subject to the object logic.</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subPropertyOf rdf:resource="http://purl.net/dol/1.0/rdf#mappableToLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski // Data properties
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#altFilenameExtension -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:DatatypeProperty rdf:about="http://purl.net/dol/1.0/rdf#altFilenameExtension">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>an alternative filename extension for a serialization</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#mediaType -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:DatatypeProperty rdf:about="http://purl.net/dol/1.0/rdf#mediaType">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the media type (MIME type) of a serialization</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#prefFilenameExtension -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:DatatypeProperty rdf:about="http://purl.net/dol/1.0/rdf#prefFilenameExtension">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;FunctionalProperty"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>the preferred filename extension for a serialization</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:domain rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Alignment -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Alignment">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Link"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:disjointWith rdf:resource="http://purl.net/dol/1.0/rdf#Interpretation"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>an alignment between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#BasicOntology -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#BasicOntology">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a basic ontology (in a single language, logic, and serialization)</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#DefaultMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#DefaultMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#DistributedOntology -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#DistributedOntology">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a distributed ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Embedding -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Embedding">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#ExactMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#LogicMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#ModelBijectiveMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#embeddableInto"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Entity -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Entity">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>an entity in an ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#ExactMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#ExactMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#WeaklyExactMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#exactlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#FaithfulMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#FaithfulMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#faithfullyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Interpretation -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Interpretation">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:equivalentClass rdf:resource="http://purl.net/dol/1.0/rdf#View"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Link">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:intersectionOf rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#source"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#target"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a link between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Logic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a logic that defines the semantics of an ontology language</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#LogicMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#LogicMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:disjointWith rdf:resource="http://purl.net/dol/1.0/rdf#OntologyLanguageMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a mapping (translation or projection) between two logics</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Mapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Mapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:intersectionOf rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#mapsFrom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#mapsTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a generic mapping (translation or projection)</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#mappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <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>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&rdfs;subClassOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:intersectionOf rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#mapsFrom"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#mapsTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#ModelBijectiveMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#ModelBijectiveMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#WeaklyExactMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#modelBijectivelyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#ModelExpansiveMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#ModelExpansiveMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#FaithfulMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#modelExpansivelyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Ontology -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Ontology">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>an ontology, distributed or basic</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#OntologyLanguage -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#OntologyLanguage">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:intersectionOf rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:someValuesFrom rdf:resource="http://purl.net/dol/1.0/rdf#Logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#supportsSerialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:someValuesFrom rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#supportsLogic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:allValuesFrom rdf:resource="http://purl.net/dol/1.0/rdf#Logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:onProperty rdf:resource="http://purl.net/dol/1.0/rdf#supportsSerialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:allValuesFrom rdf:resource="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>an ontology language</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#OntologyLanguageMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#OntologyLanguageMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a mapping (translation or projection) between two ontology languages</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#PlainMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#PlainMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:disjointWith rdf:resource="http://purl.net/dol/1.0/rdf#TheoroidalMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#plainlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>Protégé 4.2 doesn't like 'Class: Mapping DisjointUnionOf: PlainMapping, TheoroidalMapping', so we do it this way:</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget rdf:resource="http://purl.net/dol/1.0/rdf#TheoroidalMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&owl;disjointWith"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Projection -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Projection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:disjointWith rdf:resource="http://purl.net/dol/1.0/rdf#Translation"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a generic projection</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#projectableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Sentence -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Sentence">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a sentence in an ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Serialization -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Serialization">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a serialization of an ontology language</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#SubLogic -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#SubLogic">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Embedding"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>'syntactic' embedding</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#subLogicOf"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#TheoroidalMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#TheoroidalMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:intersectionOf rdf:parseType="Collection">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:complementOf rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>orthogonal to WeaklyExactMapping and FaithfulMapping</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#theoroidallyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>Protégé 4.2 doesn't like 'Class: Mapping DisjointUnionOf: PlainMapping, TheoroidalMapping', so we do it this way:</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedSource rdf:resource="http://purl.net/dol/1.0/rdf#PlainMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedTarget rdf:resource="http://purl.net/dol/1.0/rdf#TheoroidalMapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:annotatedProperty rdf:resource="&owl;disjointWith"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#Translation -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#Translation">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a generic translation</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#translatableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#View">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Link"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:comment>a view (also called interpretation) between two heterogeneous ontologies in a distributed ontology</rdfs:comment>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://purl.net/dol/1.0/rdf#WeaklyExactMapping -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <owl:Class rdf:about="http://purl.net/dol/1.0/rdf#WeaklyExactMapping">
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdfs:subClassOf rdf:resource="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <propagatesToAdjoint rdf:datatype="&xsd;boolean">true</propagatesToAdjoint>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <reifies rdf:resource="http://purl.net/dol/1.0/rdf#weaklyExactlyMappableTo"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <!-- http://www.w3.org/2002/07/owl#Thing -->
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski // General axioms
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski ///////////////////////////////////////////////////////////////////////////////////////
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Alignment"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Logic"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Mapping"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Ontology"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#OntologyLanguage"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski <rdf:Description rdf:about="http://purl.net/dol/1.0/rdf#Serialization"/>
1688462641d407b27eebb03f98286b888ba6326eTill Mossakowski<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->