Classes

concept
Piano
role
Scopo
task

concept^c back to ToC or Class ToC

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

is equivalent to: concept^c
has sub-classes: role^c, task^c

Piano^c back to ToC or Class ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl

A Description having an explicit Goal, to be achieved by executing the plan

has super-classes: description^c; defines role^op only role^c; has part^op some Scopo^c; has main goal^op max 1; defines task^op only task^c; has main goal^op only Scopo^c
is in domain of: has main goal^op
is in range of: is main goal in^op

role^c back to ToC or Class ToC

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

has super-classes: concept^c; is role defined in^op only Piano^c
is in domain of: is role defined in^op
is in range of: defines role^op

Scopo^c back to ToC or Class ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl

The Description of a Situation that is desired by an Agent, and usually associated to a Plan that describes how to actually achieve it

has super-classes: description^c
is in domain of: is main goal in^op
is in range of: has main goal^op

task^c back to ToC or Class ToC

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

has super-classes: concept^c; precedes^op only task^c; is task defined in^op only Piano^c; follows^op only task^c
is in domain of: is task defined in^op
is in range of: defines task^op

defines role^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl

A relation between a description and a role, e.g. the recipe for a cake defines the role 'ingredient'.

has super-properties: defines^op; uses concept^op
has domain: description^c
has range: role^c
is inverse of: is role defined in^op

defines task^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl

A relation between a description and a task, e.g. the recipe for a cake defines the task 'boil'.

has super-properties: defines^op; uses concept^op
has domain: description^c
has range: task^c
is inverse of: is task defined in^op

has main goal^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/.owl

has domain: Piano^c
has range: Scopo^c
is inverse of: is main goal in^op

is main goal in^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/.owl

A main goal can be defined as a goal that is part of a plan but not of one of its subplans. The characteristic axiom cannot be formalized in OWL-DL (it requires coreference).

has domain: Scopo^c
has range: Piano^c
is inverse of: has main goal^op

is role defined in^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/.owl

A relation between a description and a role, e.g. the role 'Ingredient' is defined in the recipe for a cake.

has super-properties: is concept used in^op; is defined in^op
has domain: role^c
has range: description^c
is inverse of: defines role^op

is task defined in^op back to ToC or Object Property ToC

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

is defined by: http://www.ontologydesignpatterns.org/cp/owl/.owl

A relation between a description and a task, e.g. the task 'boil' is defined in a recipe for a cake.

has super-properties: is concept used in^op; is defined in^op
has domain: task^c
has range: description^c
is inverse of: defines task^op

Annotation Properties

comment
is defined by
label
version info

comment^ap back to ToC or Annotation Property ToC

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

is defined by^ap back to ToC or Annotation Property ToC

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

label^ap back to ToC or Annotation Property ToC

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

version info^ap 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/basicplandescription.owl#
basicplandescription: http://www.ontologydesignpatterns.org/cp/owl/basicplandescription.owl#
description: http://www.ontologydesignpatterns.org/cp/owl/description.owl#
owl: http://www.w3.org/2002/07/owl#
parameter: http://www.ontologydesignpatterns.org/cp/owl/parameter.owl#
partof: http://www.ontologydesignpatterns.org/cp/owl/partof.owl#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
schemas: http://www.ontologydesignpatterns.org/schemas/
sequence: http://www.ontologydesignpatterns.org/cp/owl/sequence.owl#
taskrole: 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 .

Abstract

Table of Content

Classes

concept^c back to ToC or Class ToC

Piano^c back to ToC or Class ToC

role^c back to ToC or Class ToC

Scopo^c back to ToC or Class ToC

task^c back to ToC or Class ToC

Object Properties

defines role^op back to ToC or Object Property ToC

defines task^op back to ToC or Object Property ToC

has main goal^op back to ToC or Object Property ToC

is main goal in^op back to ToC or Object Property ToC

is role defined in^op back to ToC or Object Property ToC

is task defined in^op back to ToC or Object Property ToC

Annotation Properties

comment^ap back to ToC or Annotation Property ToC

is defined by^ap back to ToC or Annotation Property ToC

label^ap back to ToC or Annotation Property ToC

version info^ap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

Abstract

Table of Content

Classes

conceptc back to ToC or Class ToC

Pianoc back to ToC or Class ToC

rolec back to ToC or Class ToC

Scopoc back to ToC or Class ToC

taskc back to ToC or Class ToC

Object Properties

defines roleop back to ToC or Object Property ToC

defines taskop back to ToC or Object Property ToC

has main goalop back to ToC or Object Property ToC

is main goal inop back to ToC or Object Property ToC

is role defined inop back to ToC or Object Property ToC

is task defined inop back to ToC or Object Property ToC

Annotation Properties

commentap back to ToC or Annotation Property ToC

is defined byap back to ToC or Annotation Property ToC

labelap back to ToC or Annotation Property ToC

version infoap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

concept^c back to ToC or Class ToC

Piano^c back to ToC or Class ToC

role^c back to ToC or Class ToC

Scopo^c back to ToC or Class ToC

task^c back to ToC or Class ToC

defines role^op back to ToC or Object Property ToC

defines task^op back to ToC or Object Property ToC

has main goal^op back to ToC or Object Property ToC

is main goal in^op back to ToC or Object Property ToC

is role defined in^op back to ToC or Object Property ToC

is task defined in^op back to ToC or Object Property ToC

comment^ap back to ToC or Annotation Property ToC

is defined by^ap back to ToC or Annotation Property ToC

label^ap back to ToC or Annotation Property ToC

version info^ap back to ToC or Annotation Property ToC