@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://www.w3id.org/simulation/ontology/> a owl:Ontology;
  <http://purl.org/dc/elements/1.1/contributor> "Aldo Gangemi", "Marieke van Erp";
  <http://purl.org/dc/elements/1.1/creator> "Bruno Sartini";
  <http://purl.org/dc/elements/1.1/title> "Simulation Ontology"@en;
  <http://purl.org/dc/terms/created> "September 13th, 2021"@en;
  <http://purl.org/dc/terms/issued> "September 13th, 2021"@en;
  <http://purl.org/dc/terms/license> <https://creativecommons.org/licenses/by/4.0/>;
  <http://purl.org/dc/terms/publisher> "Bruno Sartini";
  <http://purl.org/vocab/vann/preferredNamespacePrefix> "sim"@en;
  <http://purl.org/vocab/vann/preferredNamespaceUri> "https://www.w3id.org/simulation/ontology/";
  <http://schema.org/citation> "Cite this Ontology as: Sartini, B. The Simulation ontology. https://www.w3id.org/simulation/ontology/ "@en;
  <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#isSpecializationOf>
    <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl>, <http://www.ontologydesignpatterns.org/cp/owl/situation.owl>;
  <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#relatedCPs>
    <http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl>;
  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;
  owl:versionInfo "1.2 (hasSource property deprecated and replaced by prov:wasDerivedFrom)"@en .

<http://purl.org/dc/elements/1.1/contributor> a owl:AnnotationProperty .

<http://purl.org/dc/elements/1.1/creator> a owl:AnnotationProperty .

<http://purl.org/dc/elements/1.1/license> a owl:AnnotationProperty .

<http://purl.org/dc/elements/1.1/title> a owl:AnnotationProperty .

<http://purl.org/dc/terms/created> a owl:AnnotationProperty .

<http://purl.org/dc/terms/issued> a owl:AnnotationProperty .

<http://purl.org/dc/terms/license> a owl:AnnotationProperty .

<http://purl.org/dc/terms/publisher> a owl:AnnotationProperty .

<http://purl.org/vocab/vann/preferredNamespacePrefix> a owl:AnnotationProperty .

<http://purl.org/vocab/vann/preferredNamespaceUri> a owl:AnnotationProperty .

<http://schema.org/citation> a owl:AnnotationProperty .

<http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#isSpecializationOf>
  a owl:AnnotationProperty .

<http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#relatedCPs>
  a owl:AnnotationProperty .

<https://www.w3.org/1999/xhtml/vocab#license> a owl:AnnotationProperty .

<https://www.w3.org/1999/xhtml/vocab#dct:rights> a owl:AnnotationProperty .

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

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

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

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

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

<http://www.w3.org/ns/prov#wasDerivedFrom> a owl:ObjectProperty;
  owl:inverseOf <https://www.w3.org/ns/prov-o-inverses#hadDerivation>;
  rdfs:domain <http://www.w3.org/ns/prov#Entity>;
  rdfs:range <http://www.w3.org/ns/prov#Entity>;
  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:label "was derived from" .

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

<https://www.w3id.org/simulation/ontology/easedRealityCounterpart> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/isEasedRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Eased reality counterpart"@en .

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

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

<https://www.w3id.org/simulation/ontology/hasPersonifiedVariant> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/hasVariant>;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/isPersonifiedVariantOf>;
  rdfs:domain _:8d7e4a;
  rdfs:range _:8d7e7a;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Has personified variant"@en .

_:8d7e4a a owl:Class;
  owl:unionOf _:8d7e5a .

_:8d7e5a rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7e6a .

_:8d7e6a rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

_:8d7e7a a owl:Class;
  owl:unionOf _:8d7e8a .

_:8d7e8a rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7e9a .

_:8d7e9a rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/hasRealityCounterpart> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor>,
    owl:topObjectProperty;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Has reality counterpart"@en .

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

<https://www.w3id.org/simulation/ontology/hasSource> a owl:ObjectProperty;
  rdfs:comment "This property links a Simulation with its source"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Has source"@en;
  owl:deprecated "deprecated on the 1.2 version" .

<https://www.w3id.org/simulation/ontology/hasVariant> a owl:ObjectProperty;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/isVariantOf>;
  rdfs:domain _:8d7eaa;
  rdfs:range _:8d7eda;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "has variant"@en .

_:8d7eaa a owl:Class;
  owl:unionOf _:8d7eba .

_:8d7eba rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7eca .

_:8d7eca rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

_:8d7eda a owl:Class;
  owl:unionOf _:8d7eea .

_:8d7eea rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7efa .

_:8d7efa rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/healedRealityCounterpart> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/isHealedRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/HealingSimulation>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Healed reality counterpart"@en .

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

<https://www.w3id.org/simulation/ontology/isEasedRealityCounterpartOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdfs:range <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:comment "Inverse property of eased reality counterpart"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is eased reality counterpart of"@en .

<https://www.w3id.org/simulation/ontology/isElicitedRealityCounterpartOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdfs:range <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:comment "Inverse property of elicited reality counterpart"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is elicited reality counterpart of"@en .

<https://www.w3id.org/simulation/ontology/isHealedRealityCounterpartOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdfs:range <https://www.w3id.org/simulation/ontology/HealingSimulation>;
  rdfs:comment "Inverse property of healed reality counterpart"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is healed reality counterpart of"@en .

<https://www.w3id.org/simulation/ontology/isPersonifiedVariantOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isVariantOf>;
  rdfs:domain _:8d7f0a;
  rdfs:range _:8d7f3a;
  rdfs:comment "Inverse property of has personified variant"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is personified variant of"@en .

_:8d7f0a a owl:Class;
  owl:unionOf _:8d7f1a .

_:8d7f1a rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7f2a .

_:8d7f2a rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

_:8d7f3a a owl:Class;
  owl:unionOf _:8d7f4a .

_:8d7f4a rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7f5a .

_:8d7f5a rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/isPreventedRealityCounterpartOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/preventedRealityCounterpart>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdfs:range <https://www.w3id.org/simulation/ontology/ProtectionSimulation>;
  rdfs:comment "Inversed property of prevented reality counterpart"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is prevented reality counterpart of"@en .

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

<https://www.w3id.org/simulation/ontology/isRestoredRealityCounterpartOf> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  owl:inverseOf <https://www.w3id.org/simulation/ontology/restoredRealityCounterpart>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdfs:range <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:comment "Inverse property of restored reality counterpart"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is restored reality counterpart of"@en .

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

<https://www.w3id.org/simulation/ontology/isSourceOf> a owl:ObjectProperty;
  rdfs:comment "Inverse property of has source"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is source of"@en;
  owl:deprecated "deprecated on the 1.2 version" .

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

<https://www.w3id.org/simulation/ontology/isVariantOf> a owl:ObjectProperty;
  rdfs:domain _:8d7f6a;
  rdfs:range _:8d7f9a;
  rdfs:comment "Inverse property of has variant"@en;
  rdfs:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Is variant of"@en .

_:8d7f6a a owl:Class;
  owl:unionOf _:8d7f7a .

_:8d7f7a rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7f8a .

_:8d7f8a rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

_:8d7f9a a owl:Class;
  owl:unionOf _:8d7faa .

_:8d7faa rdf:first <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  rdf:rest _:8d7fba .

_:8d7fba rdf:first <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/preventedRealityCounterpart> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/ProtectionSimulation>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Prevented reality counterpart"@en .

<https://www.w3id.org/simulation/ontology/restoredRealityCounterpart> a owl:ObjectProperty;
  rdfs:subPropertyOf <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  rdfs:domain <https://www.w3id.org/simulation/ontology/Simulation>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Restored reality counterpart"@en .

<https://www.w3id.org/simulation/ontology/symbolicMeaning> a owl:ObjectProperty;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#denotes>,
    owl:topObjectProperty;
  rdfs:domain <https://www.w3id.org/simulation/ontology/Simulacrum>;
  rdfs:range <https://www.w3id.org/simulation/ontology/RealityCounterpart>;
  owl:propertyChainAxiom _:8d7fca;
  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:isDefinedBy <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Symbolic Meaning"@en .

_:8d7fca rdf:first <https://www.w3id.org/simulation/ontology/isSimulacrumOf>;
  rdf:rest _:8d7fda .

_:8d7fda rdf:first <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  rdf:rest rdf:nil .

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

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

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

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

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

<https://www.w3id.org/simulation/ontology/AllusionSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Allusion Simulation"@en .

<https://www.w3id.org/simulation/ontology/AssociationSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Association Simulation"@en .

<https://www.w3id.org/simulation/ontology/AttributeSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Attribute Simulation"@en .

<https://www.w3id.org/simulation/ontology/Context> a owl:Class;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Reference>,
    _:8d7fea;
  owl:disjointWith <https://www.w3id.org/simulation/ontology/Simulation>, <https://www.w3id.org/simulation/ontology/Source>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Context"@en .

_:8d7fea a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/isContextOf>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Simulation> .

<https://www.w3id.org/simulation/ontology/CorrespondenceSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Correspondence Simulation"@en .

<https://www.w3id.org/simulation/ontology/EmblematicSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Emblematic Simulation"@en .

<https://www.w3id.org/simulation/ontology/HealingSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>, _:8d7ffa;
  owl:hasKey _:8d800a;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Healing Simulation"@en .

_:8d7ffa a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/healedRealityCounterpart>;
  owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger;
  owl:onClass <https://www.w3id.org/simulation/ontology/RealityCounterpart> .

_:8d800a rdf:first <https://www.w3id.org/simulation/ontology/hasSimulacrum>;
  rdf:rest _:8d801a .

_:8d801a rdf:first <https://www.w3id.org/simulation/ontology/healedRealityCounterpart>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/ManifestationSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Manifestation Simulation"@en .

<https://www.w3id.org/simulation/ontology/ProtectionSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>, _:8d802a;
  owl:hasKey _:8d803a;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Protection Simulation"@en .

_:8d802a a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/preventedRealityCounterpart>;
  owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger;
  owl:onClass <https://www.w3id.org/simulation/ontology/RealityCounterpart> .

_:8d803a rdf:first <https://www.w3id.org/simulation/ontology/hasSimulacrum>;
  rdf:rest _:8d804a .

_:8d804a rdf:first <https://www.w3id.org/simulation/ontology/preventedRealityCounterpart>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/RealityCounterpart> a owl:Class;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Reference>,
    <http://www.w3.org/ns/prov#Entity>, _:8d805a;
  owl:disjointWith <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Reality Counterpart"@en .

_:8d805a a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/isRealityCounterpartOf>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Simulation> .

<https://www.w3id.org/simulation/ontology/RelatednessSimulation> a owl:Class;
  rdfs:subClassOf <https://www.w3id.org/simulation/ontology/Simulation>;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Relatedness Simulation"@en .

<https://www.w3id.org/simulation/ontology/Simulacrum> a owl:Class;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl#InformationObject>,
    <http://www.ontologydesignpatterns.org/cp/owl/semiotics.owl#Expression>, _:8d806a;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Simulacrum"@en .

_:8d806a a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/isSimulacrumOf>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Simulation> .

<https://www.w3id.org/simulation/ontology/Simulation> a owl:Class;
  rdfs:subClassOf _:8d807a, _:8d80aa, _:8d80ba, _:8d80ca, _:8d80da;
  owl:disjointWith <https://www.w3id.org/simulation/ontology/Source>;
  owl:hasKey _:8d80ea;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Simulation"@en .

_:8d807a a owl:Class;
  owl:intersectionOf _:8d808a .

_:8d808a rdf:first <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdf:rest _:8d809a .

_:8d809a rdf:first <http://www.w3.org/ns/prov#Entity>;
  rdf:rest rdf:nil .

_:8d80aa a owl:Restriction;
  owl:onProperty <http://www.w3.org/ns/prov#wasDerivedFrom>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Source> .

_:8d80ba a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/hasContext>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Context> .

_:8d80ca a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/RealityCounterpart> .

_:8d80da a owl:Restriction;
  owl:onProperty <https://www.w3id.org/simulation/ontology/hasSimulacrum>;
  owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger;
  owl:onClass <https://www.w3id.org/simulation/ontology/Simulacrum> .

_:8d80ea rdf:first <https://www.w3id.org/simulation/ontology/hasRealityCounterpart>;
  rdf:rest _:8d80fa .

_:8d80fa rdf:first <https://www.w3id.org/simulation/ontology/hasSimulacrum>;
  rdf:rest rdf:nil .

<https://www.w3id.org/simulation/ontology/Source> a owl:Class;
  rdfs:subClassOf <http://www.w3.org/ns/prov#Entity>, _:8d810a;
  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 <https://www.w3id.org/simulation/ontology/SimulationOntology>;
  rdfs:label "Source"@en .

_:8d810a a owl:Restriction;
  owl:onProperty <https://www.w3.org/ns/prov-o-inverses#hadDerivation>;
  owl:someValuesFrom <https://www.w3id.org/simulation/ontology/Simulation> .

<https://www.w3id.org/simulation/ontology/SimulationOntology> a owl:NamedIndividual .
