@prefix :      <https://www.w3id.org/simulation/ontology/> .
@prefix schema: <http://schema.org/> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix cpannotationschema: <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dct1:  <https://www.w3.org/1999/xhtml/vocab#dct:> .
@prefix dct:   <http://purl.org/dc/terms/> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sim:   <https://www.w3id.org/simulation/ontology/> .
@prefix vocab: <https://www.w3.org/1999/xhtml/vocab#> .
@prefix vann:  <http://purl.org/vocab/vann/> .
@prefix dc:    <http://purl.org/dc/elements/1.1/> .

vocab:license  a  owl:AnnotationProperty .

sim:RealityCounterpart
        a                 owl:Class ;
        rdfs:comment      "A reality counterpart is the symbolic meaning associated to a simulacrum. It's the element that is symbolically referred by the simulacrum in a simulation. The term is taken from Baudrillard's Simulacra and Simulation theory"@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Reality Counterpart"@en ;
        rdfs:subClassOf   <http://www.w3.org/ns/prov#Entity> , <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Reference> ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      sim:isRealityCounterpartOf ;
                            owl:someValuesFrom  sim:Simulation
                          ] ;
        owl:disjointWith  sim:Simulation .

sim:Source  a             owl:Class ;
        rdfs:comment      "This class represents the source of a simulation. It is intended as the entity that acknowledges a simulation as a legitimate symbolic relationship. A source can either be a dictionary of symbols or a knowledge graph in which symbolic information are present."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Source"@en ;
        rdfs:subClassOf   <http://www.w3.org/ns/prov#Entity> ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      <https://www.w3.org/ns/prov-o-inverses#hadDerivation> ;
                            owl:someValuesFrom  sim:Simulation
                          ] .

<http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Reference>
        a       owl:Class .

sim:AllusionSimulation
        a                 owl:Class ;
        rdfs:comment      "A specific kind of simulation in which the simulacrum alludes to the reality counterpart. Is a more subtle symbolic relationship than the normal simulation."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Allusion Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

sim:isRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inversed property of has reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is reality counterpart of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

sim:isContextOf  a          owl:ObjectProperty ;
        rdfs:comment        "inverse property of has context"@en ;
        rdfs:domain         sim:Context ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is context of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

dct:license  a  owl:AnnotationProperty .

sim:isSymbolicMeaningOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of symbolic meaning"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:label          "Is symbolic meaning of"@en ;
        rdfs:range          sim:Simulacrum ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#isDenotedBy> ;
        owl:inverseOf       sim:symbolicMeaning .

vann:preferredNamespaceUri
        a       owl:AnnotationProperty .

sim:Simulacrum  a         owl:Class ;
        rdfs:comment      "A simulacrum is something that carries a secondary meaning (the first being its literal meaning), of symbolic nature. i.e. a skull is the set of bones of a head (literal meaning), but it is also the symbol of death (secondary, symbolic meaning). The term is taken from Baudrillard's Simulacra and Simulation theory. The plural of simulacrum is simulacra."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Simulacrum"@en ;
        rdfs:subClassOf   <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Expression> , <http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl#InformationObject> ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      sim:isSimulacrumOf ;
                            owl:someValuesFrom  sim:Simulation
                          ] .

schema:citation  a  owl:AnnotationProperty .

sim:EmblematicSimulation
        a                 owl:Class ;
        rdfs:comment      "A specific kind of simulation in which the simulacrum is an emblem of the reality counterpart. Emblems are usually used as a graphical representation of something."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Emblematic Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

<http://www.w3.org/ns/prov#wasDerivedFrom>
        a              owl:ObjectProperty ;
        rdfs:comment   "A derivation is a transformation of an entity into another, an update of an entity resulting in a new one, or the construction of a new entity based on a pre-existing entity. In the context of the Simulation ontology this property links a Simulation to its source"@en ;
        rdfs:domain    <http://www.w3.org/ns/prov#Entity> ;
        rdfs:label     "was derived from" ;
        rdfs:range     <http://www.w3.org/ns/prov#Entity> ;
        owl:inverseOf  <https://www.w3.org/ns/prov-o-inverses#hadDerivation> .

sim:SimulationOntology
        a       owl:NamedIndividual .

sim:hasContext  a           owl:ObjectProperty ;
        rdfs:comment        "This property links a Simulation to its context"@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "has Context"@en ;
        rdfs:range          sim:Context ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> ;
        owl:inverseOf       sim:isContextOf .

dc:license  a   owl:AnnotationProperty .

<http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#isDenotedBy>
        a       owl:ObjectProperty .

dct:created  a  owl:AnnotationProperty .

sim:    a                              owl:Ontology ;
        rdfs:comment                   "This ontology was designed to conceptualize symbolic meanings following Baudrillard's Simulacra and Simulation theory. Symbols, their meaning, the context in which the symbolic meaning (or simulation) exists and the source of the simulation are linked to a N-ary Simulation Class."@en ;
        rdfs:label                     "Simulation Ontology"@en ;
        dc:contributor                 "Aldo Gangemi" , "Marieke van Erp" ;
        dc:creator                     "Bruno Sartini" ;
        dc:title                       "Simulation Ontology"@en ;
        dct:created                    "September 13th, 2021"@en ;
        dct:issued                     "September 13th, 2021"@en ;
        dct:license                    <https://creativecommons.org/licenses/by/4.0/> ;
        dct:publisher                  "Bruno Sartini" ;
        vann:preferredNamespacePrefix  "sim"@en ;
        vann:preferredNamespaceUri     "https://www.w3id.org/simulation/ontology/" ;
        schema:citation                "Cite this Ontology as: Sartini, B. The Simulation ontology. https://www.w3id.org/simulation/ontology/ "@en ;
        cpannotationschema:isSpecializationOf
                <http://www.ontologydesignpatterns.org/cp/owl/situation.owl> , <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl> ;
        cpannotationschema:relatedCPs  <http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl> ;
        owl:versionInfo                "1.2 (hasSource property deprecated and replaced by prov:wasDerivedFrom)"@en .

sim:hasSource  a          owl:ObjectProperty ;
        rdfs:comment      "This property links a Simulation with its source"@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Has source"@en ;
        owl:deprecated    "deprecated on the 1.2 version" .

sim:HealingSimulation
        a                 owl:Class ;
        rdfs:comment      "A specific kind of simulation in which the simulacrum is a symbolic cure for the reality counterpart. The reality counterpart in this kind of simulation is in fact usually something negative like a disease or a curse."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Healing Simulation"@en ;
        rdfs:subClassOf   sim:Simulation ;
        rdfs:subClassOf   [ a                         owl:Restriction ;
                            owl:onClass               sim:RealityCounterpart ;
                            owl:onProperty            sim:healedRealityCounterpart ;
                            owl:qualifiedCardinality  "1"^^xsd:nonNegativeInteger
                          ] ;
        owl:hasKey        ( sim:hasSimulacrum sim:healedRealityCounterpart ) .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>
        a       owl:Class .

sim:preventedRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "A specific relationship that links a simulation (usually a Protection Simulation) to a reality counterpart that is symbolically prevented by the simulacrum."@en ;
        rdfs:domain         sim:ProtectionSimulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Prevented reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  sim:hasRealityCounterpart .

dc:creator  a   owl:AnnotationProperty .

dct:publisher  a  owl:AnnotationProperty .

sim:elicitedRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "A specific relationship that links a simulation to a reality counterpart that is symbolically elicited by the simulacrum."@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Elicited reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  sim:hasRealityCounterpart ;
        owl:inverseOf       sim:isElicitedRealityCounterpartOf .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor>
        a       owl:ObjectProperty .

sim:isPersonifiedVariantOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of has personified variant"@en ;
        rdfs:domain         [ a            owl:Class ;
                              owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                            ] ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is personified variant of"@en ;
        rdfs:range          [ a            owl:Class ;
                              owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                            ] ;
        rdfs:subPropertyOf  sim:isVariantOf .

sim:hasPersonifiedVariant
        a                   owl:ObjectProperty ;
        rdfs:comment        "This property is used when a variant is intended as the personified variant of the other entity. Like \"Air\" has personified variant \"Air personified\""@en ;
        rdfs:domain         [ a            owl:Class ;
                              owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                            ] ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Has personified variant"@en ;
        rdfs:range          [ a            owl:Class ;
                              owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                            ] ;
        rdfs:subPropertyOf  sim:hasVariant ;
        owl:inverseOf       sim:isPersonifiedVariantOf .

sim:Simulation  a         owl:Class ;
        rdfs:comment      "A simulation is the symbolic relationship that happens between a symbol and its symbolic meaning. The term is taken from Baudrillard's Simulacra and Simulation philosophical theory."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Simulation"@en ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      sim:hasContext ;
                            owl:someValuesFrom  sim:Context
                          ] ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      <http://www.w3.org/ns/prov#wasDerivedFrom> ;
                            owl:someValuesFrom  sim:Source
                          ] ;
        rdfs:subClassOf   [ a                         owl:Restriction ;
                            owl:onClass               sim:Simulacrum ;
                            owl:onProperty            sim:hasSimulacrum ;
                            owl:qualifiedCardinality  "1"^^xsd:nonNegativeInteger
                          ] ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      sim:hasRealityCounterpart ;
                            owl:someValuesFrom  sim:RealityCounterpart
                          ] ;
        rdfs:subClassOf   [ a                   owl:Class ;
                            owl:intersectionOf  ( <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> <http://www.w3.org/ns/prov#Entity> )
                          ] ;
        owl:disjointWith  sim:Source ;
        owl:hasKey        ( sim:hasRealityCounterpart sim:hasSimulacrum ) .

sim:isElicitedRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of elicited reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is elicited reality counterpart of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  sim:isRealityCounterpartOf .

sim:AssociationSimulation
        a                 owl:Class ;
        rdfs:comment      "A simulation in which the simulacrum is associated with the reality counterpart. It is a very general relationship and should be used only when the association is explicitly stated by the source. I.E. in a dictionary of symbols it is written that X \"is associated with\" Y."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Association Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

sim:isVariantOf  a        owl:ObjectProperty ;
        rdfs:comment      "Inverse property of has variant"@en ;
        rdfs:domain       [ a            owl:Class ;
                            owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                          ] ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Is variant of"@en ;
        rdfs:range        [ a            owl:Class ;
                            owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                          ] .

sim:isSimulacrumOf  a       owl:ObjectProperty ;
        rdfs:comment        "Inversed property of has simulacrum"@en ;
        rdfs:domain         sim:Simulacrum ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is simulacrum of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

cpannotationschema:isSpecializationOf
        a       owl:AnnotationProperty .

sim:RelatednessSimulation
        a                 owl:Class ;
        rdfs:comment      "A simulation in which the simulacrum is related to the reality counterpart. It is a very general relationship and should be used only when the relatedness is explicitly stated by the source. I.E. in a dictionary of symbols it is written that X \"is related to\" Y."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Relatedness Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

sim:restoredRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "A specific relationship that links a simulation to a reality counterpart that is symbolically restored by the simulacrum. Like the red valerian (simulacrum), which, in flower language, is symbolically believed to restore strenght (restored reality counterpart)."@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Restored reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  sim:hasRealityCounterpart .

sim:healedRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "A specific relationship that links a simulation (usually a Healing Simulation) to a reality counterpart of which a simulacrum is the symbolic cure."@en ;
        rdfs:domain         sim:HealingSimulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Healed reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  sim:hasRealityCounterpart ;
        owl:inverseOf       sim:isHealedRealityCounterpartOf .

sim:easedRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "A specific relationship that links a simulation to a reality counterpart that is symbolically eased by the simulacrum. Like the Onyx, which in Indic-Persian context is believed to symbolically ease childbirth."@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Eased reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  sim:hasRealityCounterpart ;
        owl:inverseOf       sim:isEasedRealityCounterpartOf .

sim:ManifestationSimulation
        a                 owl:Class ;
        rdfs:comment      "A simulation in which the simulacrum is a manifestation of the reality counterpart. It is a very general relationship and should be used only when the manifestation is explicitly stated by the source. I.E. in a dictionary of symbols it is written than X \"is a manifestation of\" Y."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Manifestation Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

sim:symbolicMeaning  a          owl:ObjectProperty ;
        rdfs:comment            "This property is a chain property that links a simulacrum with its reality counterpart. This direct relationship does not consider neither the context or the source of the simulation"@en ;
        rdfs:domain             sim:Simulacrum ;
        rdfs:isDefinedBy        sim:SimulationOntology ;
        rdfs:label              "Symbolic Meaning"@en ;
        rdfs:range              sim:RealityCounterpart ;
        rdfs:subPropertyOf      owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#denotes> ;
        owl:propertyChainAxiom  ( sim:isSimulacrumOf sim:hasRealityCounterpart ) .

<http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting>
        a                   owl:ObjectProperty ;
        rdfs:subPropertyOf  owl:topObjectProperty .

sim:Context  a            owl:Class ;
        rdfs:comment      "The context is the setting (either social, historical, cultural etc...) in which a Simulation exists. An ash tree, in the Norse context is a symbol of Odin. On the other hand, a tree in a Celtic context is a symbol of connection."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Context"@en ;
        rdfs:subClassOf   <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Reference> ;
        rdfs:subClassOf   [ a                   owl:Restriction ;
                            owl:onProperty      sim:isContextOf ;
                            owl:someValuesFrom  sim:Simulation
                          ] ;
        owl:disjointWith  sim:Source , sim:Simulation .

sim:isHealedRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of healed reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is healed reality counterpart of"@en ;
        rdfs:range          sim:HealingSimulation ;
        rdfs:subPropertyOf  sim:isRealityCounterpartOf .

sim:ProtectionSimulation
        a                 owl:Class ;
        rdfs:comment      "A specific kind of simulation in which the simulacrum is a symbolic protection against the reality counterpart. Like agate as a protection against the evil eye."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Protection Simulation"@en ;
        rdfs:subClassOf   sim:Simulation ;
        rdfs:subClassOf   [ a                         owl:Restriction ;
                            owl:onClass               sim:RealityCounterpart ;
                            owl:onProperty            sim:preventedRealityCounterpart ;
                            owl:qualifiedCardinality  "1"^^xsd:nonNegativeInteger
                          ] ;
        owl:hasKey        ( sim:hasSimulacrum sim:preventedRealityCounterpart ) .

sim:isPreventedRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inversed property of prevented reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is prevented reality counterpart of"@en ;
        rdfs:range          sim:ProtectionSimulation ;
        rdfs:subPropertyOf  sim:isRealityCounterpartOf ;
        owl:inverseOf       sim:preventedRealityCounterpart .

sim:isSourceOf  a         owl:ObjectProperty ;
        rdfs:comment      "Inverse property of has source"@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Is source of"@en ;
        owl:deprecated    "deprecated on the 1.2 version" .

<https://www.w3.org/ns/prov-o-inverses#hadDerivation>
        a             owl:ObjectProperty ;
        rdfs:comment  "Inverse of wasDerivedFrom" ;
        rdfs:domain   <http://www.w3.org/ns/prov#Entity> ;
        rdfs:label    "had derivation" ;
        rdfs:range    <http://www.w3.org/ns/prov#Entity> .

<http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl#InformationObject>
        a       owl:Class .

owl:topObjectProperty
        rdfs:subPropertyOf  <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#isDenotedBy> .

sim:hasRealityCounterpart
        a                   owl:ObjectProperty ;
        rdfs:comment        "This property links a Simulation to its reality counterpart. More specific relationships between a simulation and its reality counterpart are available as subproperties of this property."@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Has reality counterpart"@en ;
        rdfs:range          sim:RealityCounterpart ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> ;
        owl:inverseOf       sim:isRealityCounterpartOf .

vann:preferredNamespacePrefix
        a       owl:AnnotationProperty .

sim:AttributeSimulation
        a                 owl:Class ;
        rdfs:comment      "A specific kind of simulation in which the simulacrum is a symbolic attribute of the reality counterpart. Like \"keys\" as an attribute of Saint Peter."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Attribute Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

dct:issued  a   owl:AnnotationProperty .

<http://www.w3.org/ns/prov#Entity>
        a           owl:Class ;
        rdfs:label  "Entity" .

sim:isRestoredRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of restored reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is restored reality counterpart of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  sim:isRealityCounterpartOf ;
        owl:inverseOf       sim:restoredRealityCounterpart .

dc:contributor  a  owl:AnnotationProperty .

sim:hasSimulacrum  a        owl:FunctionalProperty , owl:ObjectProperty ;
        rdfs:comment        "This property links a simulation to its simulacrum."@en ;
        rdfs:domain         sim:Simulation ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Has simulacrum"@en ;
        rdfs:range          sim:Simulacrum ;
        rdfs:subPropertyOf  owl:topObjectProperty , <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> ;
        owl:inverseOf       sim:isSimulacrumOf .

sim:hasVariant  a         owl:ObjectProperty ;
        rdfs:comment      "This property links a simulacrum or a reality counterpart to a variant of theirs. A variant is intended as a narrower concept than one of those two elements. It is also used to define a set of elements in relation to a single element that is part of that set. I.e. \"man and woman\" is a variant of \"woman\", \"golden apple\" is a variant of \"apple\"."@en ;
        rdfs:domain       [ a            owl:Class ;
                            owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                          ] ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "has variant"@en ;
        rdfs:range        [ a            owl:Class ;
                            owl:unionOf  ( sim:RealityCounterpart sim:Simulacrum )
                          ] ;
        owl:inverseOf     sim:isVariantOf .

<http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#denotes>
        a       owl:ObjectProperty .

sim:CorrespondenceSimulation
        a                 owl:Class ;
        rdfs:comment      "A simulation in which the simulacrum corresponds to the reality counterpart. It is a very general relationship and should be used only when the correspondence is explicitly state by the source. I.E. in a dictionary of symbols it is written that X \"corresponds to\" Y."@en ;
        rdfs:isDefinedBy  sim:SimulationOntology ;
        rdfs:label        "Correspondence Simulation"@en ;
        rdfs:subClassOf   sim:Simulation .

sim:isEasedRealityCounterpartOf
        a                   owl:ObjectProperty ;
        rdfs:comment        "Inverse property of eased reality counterpart"@en ;
        rdfs:domain         sim:RealityCounterpart ;
        rdfs:isDefinedBy    sim:SimulationOntology ;
        rdfs:label          "Is eased reality counterpart of"@en ;
        rdfs:range          sim:Simulation ;
        rdfs:subPropertyOf  sim:isRealityCounterpartOf .

dct1:rights  a  owl:AnnotationProperty .

cpannotationschema:relatedCPs
        a       owl:AnnotationProperty .

<http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Expression>
        a       owl:Class .

dc:title  a     owl:AnnotationProperty .