PREFIX basicplan: <http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>

basicplan:GoalSituation a rdfs:Class ;
  rdfs:label "Goal situation"@en ;
  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:subClassOf <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> .

basicplan:satisfies a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/description.owl#Description> , <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan> .

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

basicplan:isParametrizedBy a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy> .

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

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

basicplan:isSatisfiedBy a rdf:Property ;
  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: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/basicplanexecution.owl#PlanExecution> .

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

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

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

basicplan:conceptualizes a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Agent> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan> .

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

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

basicplan:executesTask a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy> .

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

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

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

basicplan:parametrizes a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies> .

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

basicplan:isConceptualizedBy a rdf:Property ;
  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: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/taskrole.owl#Role> a rdfs:Class .

<http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#isRoleOf> a rdf:Property ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object> .

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

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

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

<https://w3id.org/linkml/Any> a rdfs:Class ;
  rdfs:comment "An unconstrained type or object" .

<http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> a rdfs:Class .

basicplan:isExecutedIn a rdf:Property ;
  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:domain <http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task> ;
  rdfs:range <http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Action> ;
  rdfs:subPropertyOf <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies> .

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#classifies> a rdf:Property ;
  rdfs:range <https://w3id.org/linkml/Any> .

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#isClassifiedBy> a rdf:Property ;
  rdfs:range <https://w3id.org/linkml/Any> .