IRI:
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
Current version :
1.1 added rdfs:isDefinedBy for all named entities
Imported Ontologies :
http://www.ontologydesignpatterns.org/cp/owl/agentrole.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/cp/owl/classification.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/cp/owl/region.owl (visualise it with LODE )
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl (visualise it with LODE )
Other visualisation :
Ontology source - WebVowl

Abstract

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.

Table of Content

  1. Classes
  2. Object Properties
  3. Annotation Properties
  4. Namespace Declarations

Classes

agentc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#Agent

is in domain of
conceptualizesop
is in range of
is conceptualized byop
is disjoint with
conceptc

conceptc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept

is equivalent to
conceptc
conceptc

conceptc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/description.owl#Concept

is disjoint with
agentc, situationc

Goal situationc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#GoalSituation

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
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).
is equivalent to
situationc and (satisfiesop some goalc)
has super-classes
situationc

objectc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Object

is equivalent to
objectc

parameterc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#Parameter

has super-classes
parametrizesop only regionc
is in domain of
parametrizesop
is in range of
is parametrized byop
is disjoint with
rolec

planc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#Plan

has super-classes
is satisfied byop only plan executionc
is in domain of
is conceptualized byop
is in range of
conceptualizesop

plan executionc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#PlanExecution

is equivalent to
situationc and (satisfiesop some planc)
has super-classes
satisfiesop only planc

regionc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/region.owl#Region

has super-classes
is parametrized byop only parameterc
is in domain of
is parametrized byop
is in range of
parametrizesop

rolec back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#Role

is equivalent to
rolec

rolec back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Role

has super-classes
is role ofop only objectc
is disjoint with
parameterc

taskc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#Task

has super-classes
is executed inop only actionc
is in domain of
is executed inop
is in range of
executes taskop

Object Properties

conceptualizesop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#conceptualizes

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
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'.
has domain
agentc
has range
planc
is inverse of
is conceptualized byop

executes taskop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#executesTask

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
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'.
has super-properties
is classified byop
has domain
actionc
has range
taskc
is inverse of
is executed inop

is conceptualized byop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isConceptualizedBy

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
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'.
has domain
planc
has range
agentc
is inverse of
conceptualizesop

is executed inop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isExecutedIn

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
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'.
has super-properties
classifiesop
has domain
taskc
has range
actionc
is inverse of
executes taskop

is parametrized byop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isParametrizedBy

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
The relation between a Parameter, e.g. 'MajorAge', and a Region, e.g. '>17 year'.
has super-properties
is classified byop
has domain
regionc
has range
parameterc
is inverse of
parametrizesop

is satisfied byop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#isSatisfiedBy

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.
has domain
descriptionc
has range
situationc
is inverse of
satisfiesop

parametrizesop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#parametrizes

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
The relation between a Parameter, e.g. 'MajorAgeLimit', and a Region, e.g. '18_year'. For a more data-oriented relation, see hasDataValue
has super-properties
classifiesop
has domain
parameterc
has range
regionc
is inverse of
is parametrized byop

satisfiesop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#satisfies

is defined by
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl
A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.
has domain
situationc
has range
descriptionc
is inverse of
is satisfied byop

Annotation Properties

commentap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

is defined byap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#isDefinedBy

labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#label

version infoap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#versionInfo

Namespace Declarations back to ToC

default namespace
http://www.ontologydesignpatterns.org/cp/owl/basicplan.owl#
basicplandescription-owl
http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#
basicplanexecution-owl
http://www.ontologydesignpatterns.org/cp/owl/basicplanexecution.owl#
classification-owl
http://www.ontologydesignpatterns.org/cp/owl/classification.owl#
cpannotationschema
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#
description-owl
http://www.ontologydesignpatterns.org/cp/owl/description.owl#
objectrole-owl
http://www.ontologydesignpatterns.org/cp/owl/objectrole.owl#
owl
http://www.w3.org/2002/07/owl#
parameter-owl
http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#
participation-owl
http://www.ontologydesignpatterns.org/cp/owl/participation.owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
region-owl
http://www.ontologydesignpatterns.org/cp/owl/region.owl#
schemas
http://www.ontologydesignpatterns.org/schemas/
situation-owl
http://www.ontologydesignpatterns.org/cp/owl/situation.owl#
taskrole-owl
http://www.ontologydesignpatterns.org/cp/owl/taskrole.owl#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .