@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#> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl> a owl:Ontology;
  owl:versionInfo "1.1 added rdfs:isDefinedBy for all named entities", "Created by Valentina Presutti";
  rdfs:comment "The basic plans execution content ontology design pattern represents the execution of a plan and the entity that participate in such an execution. This CP is the composition of other CPs: situation and region. Furthermore, it expands such CPs with ontology elements that are partial clones of elements from the DOCLE Ultra Lite and the Plans Lite ontologies."^^rdf:PlainLiteral;
  owl:imports <http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl>, <http://www.ontologydesignpatterns.org/cp/owl/classification.owl>,
    <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl>, <http://www.ontologydesignpatterns.org/cp/owl/participation.owl>,
    <http://www.ontologydesignpatterns.org/cp/owl/region.owl>, <http://www.ontologydesignpatterns.org/cp/owl/situation.owl>,
    <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl> .

owl:versionInfo a owl:AnnotationProperty .

rdfs:isDefinedBy a owl:AnnotationProperty .

rdfs:label a owl:AnnotationProperty .

rdfs:comment a owl:AnnotationProperty .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#actionHasParticipant>
  a owl:ObjectProperty;
  rdfs:label "action has participant"@en, "ha come partecipante"@it;
  rdfs:comment "A relation between a Process and an Object, e.g. 'the avalanche hasParticipant a mass of snow', or 'the cooking of a cake hasParticipant an agent, some sugar, flour, etc.'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isParticipantInAction>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/participation.owl#hasParticipant> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesAction>
  a owl:ObjectProperty;
  rdfs:label "includes action"@en, "include azione"@it;
  rdfs:comment "A relation between situations and persons, e.g. 'this morning I've prepared my coffee and had my fingers burnt' (i.e.: the preparation of my coffee this morning included a burning of my fingers).";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isActionIncludedIn>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesAgent>
  a owl:ObjectProperty;
  rdfs:label "includes agent"@en, "include l'agente"@it;
  rdfs:comment "A relation between situations and persons, e.g. 'this morning I've prepared my coffee and had my fingers burnt' (i.e.: the preparation of my coffee this morning included me).";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl#Agent>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isAgentIncludedIn>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesObject>
  a owl:ObjectProperty;
  rdfs:label "includes object"@en, "include l'oggetto"@it;
  rdfs:comment "A relation between situations and persons, e.g. 'this morning I've prepared my coffee and had my fingers burnt' (i.e.: the preparation of my coffee this morning included me).";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isObjectIncludedIn>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesRegion>
  a owl:ObjectProperty;
  rdfs:label "includes region"@en;
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isRegionIncludedIn>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isActionIncludedIn>
  a owl:ObjectProperty;
  rdfs:label "is action included in"@en, "è un'azione inclusa in"@it;
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isAgentIncludedIn>
  a owl:ObjectProperty;
  rdfs:label "is agent included in"@en, "è un agente nel contesto di"@it;
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl#Agent>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isObjectIncludedIn>
  a owl:ObjectProperty;
  rdfs:label "is an object included in"@en, "è un oggetto nel contesto di"@it;
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isParticipantInAction>
  a owl:ObjectProperty;
  rdfs:label "is participant in action"@en, "è un partecipante a"@it;
  rdfs:comment "A relation between an object and a process, e.g. 'a mass of snow is partipant in the avalanche', or 'an agent, some sugar, flour, etc. are participant in the cooking of a cake'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/participation.owl#isParticipantIn> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isRegionIncludedIn>
  a owl:ObjectProperty;
  rdfs:label "is region included in"@en, "è una regione inclusa in"@it;
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting> .

<http://www.ontologydesignpatterns.org/cp/owl/participation.owl#hasParticipant> a
    owl:ObjectProperty .

<http://www.ontologydesignpatterns.org/cp/owl/participation.owl#isParticipantIn> a
    owl:ObjectProperty .

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

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

<http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl#Agent> a owl:Class;
  rdfs:subClassOf _:2e0b3 .

_:2e0b3 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isAgentIncludedIn>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> a owl:Class;
  rdfs:label "Action"@en, "Azione"@it;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/participation.owl#Event>,
    _:2e0c3;
  rdfs:comment "An Event with at least one Agent that isParticipantIn, and that executes a Task that typically isDefinedIn a Plan, Workflow, Project, etc.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl> .

_:2e0c3 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isActionIncludedIn>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#PlanExecution> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#PlanExecution>
  a owl:Class;
  rdfs:label "Plan execution"@en, "Esecuzione di piano"@it;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>,
    _:2e0d3, _:2e0e3, _:2e0f3;
  rdfs:comment "Plan executions are situations that proactively satisfy a plan. Subplan executions are proper parts of the whole plan execution.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl> .

_:2e0d3 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesRegion>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> .

_:2e0e3 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesAction>;
  owl:someValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> .

_:2e0f3 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#includesAction>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> .

<http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object> a owl:Class;
  owl:equivalentClass <http://www.ontologydesignpatterns.org/cp/owl/participation.owl#Object>;
  rdfs:subClassOf _:2e103, _:2e113 .

_:2e103 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isParticipantInAction>;
  owl:someValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> .

_:2e113 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#isParticipantInAction>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> .

<http://www.ontologydesignpatterns.org/cp/owl/participation.owl#Event> a owl:Class .

<http://www.ontologydesignpatterns.org/cp/owl/participation.owl#Object> a owl:Class .

<http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> a owl:Class .

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