@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/basicplan.owl> a owl:Ontology;
  owl:versionInfo "1.1 added rdfs:isDefinedBy for all named entities", "Created by Valentina Presutti";
  rdfs:comment "The basic plans. This content ontology design patterns represents plans descriptions and their executions. It is defined by combining and expanding other CPs: basic plans description, basic plans execution, and object role. Expansion involves the partial clone of ontology elements from DOLCE Ultra Lite and Plans Lite ontologies."^^rdf:PlainLiteral;
  owl:imports <http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl>, <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl>,
    <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl>, <http://www.ontologydesignpatterns.org/cp/owl/classification.owl>,
    <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl>, <http://www.ontologydesignpatterns.org/cp/owl/region.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/basicplan.owl#conceptualizes> a owl:ObjectProperty;
  rdfs:label "conceptualizes"@en, "concettualizza"@it;
  rdfs:comment "A relation stating that an Agent is internally representing a SocialObject . E.g., 'John believes in the conspiracy theory'; 'Niels Bohr created the solar-system metaphor for the atomic theory'; 'Jacques assumes all swans are white'; 'the task force members share the attack plan'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Agent> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#executesTask> a owl:ObjectProperty;
  rdfs:label "executes task"@en, "esegue il task"@it;
  rdfs:comment "A relation between an action and a task, e.g. 'putting some water in a pot and putting the pot on a fire until the water starts bubbling' executes the task 'boiling'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isExecutedIn>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isConceptualizedBy> a
    owl:ObjectProperty;
  rdfs:label "is conceptualized by"@en, "è concettualizzato da"@it;
  rdfs:comment "A relation stating that an Agent is internally representing a Description . E.g., 'John believes in the conspiracy theory'; 'Niels Bohr created a solar-system metaphor for his atomic theory'; 'Jacques assumes all swans are white'; 'the task force shares the attack plan'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#conceptualizes>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Agent> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isExecutedIn> a owl:ObjectProperty;
  rdfs:label "is executed in"@en, "è eseguito mediante"@it;
  rdfs:comment "A relation between an action and a task, e.g. 'putting some water in a pot and putting the pot on a fire until the water starts bubbling' executes the task 'boiling'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isParametrizedBy> a owl:ObjectProperty;
  rdfs:label "is parametrized by"@en, "è parametrizzato da"@it;
  rdfs:comment "The relation between a Parameter, e.g. 'MajorAge', and a Region, e.g. '>17 year'.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#parametrizes>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isSatisfiedBy> a owl:ObjectProperty;
  rdfs:label "is satisfied by"@en, "è soddisfatta da"@it;
  rdfs:comment "A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  owl:inverseOf <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/description.owl#Description>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#parametrizes> a owl:ObjectProperty;
  rdfs:label "parametrizes"@en, "parametrizza"@it;
  rdfs:comment """The relation between a Parameter, e.g. 'MajorAgeLimit', and a Region, e.g. '18_year'.
For a more data-oriented relation, see hasDataValue""";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies> a owl:ObjectProperty;
  rdfs:label "satisfies"@en, "soddisfa"@it;
  rdfs:comment "A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl>;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/description.owl#Description>;
  rdfs:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> .

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies> a owl:ObjectProperty .

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy> a
    owl:ObjectProperty .

<http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#isRoleOf> a owl:ObjectProperty .

<http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#GoalSituation> a owl:Class;
  rdfs:label "Goal situation"@en;
  owl:equivalentClass _:27c22;
  rdfs:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdfs:comment "A goal situation is a situation that satisfies a goal.Opposite to the case of subplan executions, a goal situation is not part of a plan execution.In other words, it is not true in general that any situation satisfying a part of a description, is also part of the situation that satisfies the whole description. This helps to account for the following cases: a) Execution of plans containing abort or suspension conditions (the plan would be satisfied even if the goal has not been reached, see below), b) Incidental satisfaction, like when a situation satisfies a goal without being intentionally planned (but anyway desired).";
  rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl> .

_:27c22 a owl:Class;
  owl:intersectionOf _:27c32 .

_:27c32 rdf:first <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdf:rest _:27c52 .

_:27c52 rdf:first _:27c42;
  rdf:rest rdf:nil .

_:27c42 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies>;
  owl:someValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Goal> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Goal> a owl:Class .

<http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan> a owl:Class;
  rdfs:subClassOf _:27c62 .

_:27c62 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isSatisfiedBy>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#PlanExecution> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> a owl:Class .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Agent> a owl:Class;
  owl:disjointWith <http://www.ontologydesignpatterns.org/cp/owl/description.owl#Concept> .

<http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#PlanExecution>
  a owl:Class;
  owl:equivalentClass _:27c72;
  rdfs:subClassOf _:27cb2 .

_:27c72 a owl:Class;
  owl:intersectionOf _:27c82 .

_:27c82 rdf:first <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation>;
  rdf:rest _:27ca2 .

_:27ca2 rdf:first _:27c92;
  rdf:rest rdf:nil .

_:27c92 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies>;
  owl:someValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan> .

_:27cb2 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan> .

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> a owl:Class;
  owl:equivalentClass <http://www.ontologydesignpatterns.org/cp/owl/description.owl#Concept>,
    <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Concept> .

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

<http://www.ontologydesignpatterns.org/cp/owl/description.owl#Description> a owl:Class .

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

<http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Role> a owl:Class;
  owl:equivalentClass <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Role> .

<http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Concept> a owl:Class .

<http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter> a owl:Class;
  rdfs:subClassOf _:27cc2;
  owl:disjointWith <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Role> .

_:27cc2 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#parametrizes>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> .

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

<http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> a owl:Class;
  rdfs:subClassOf _:27cd2 .

_:27cd2 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isParametrizedBy>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter> .

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

<http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Role> a owl:Class;
  rdfs:subClassOf _:27ce2 .

_:27ce2 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#isRoleOf>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object> .

<http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> a owl:Class;
  rdfs:subClassOf _:27cf2 .

_:27cf2 a owl:Restriction;
  owl:onProperty <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isExecutedIn>;
  owl:allValuesFrom <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> .