Timeline-based Planning Ontology

http://swa.cefriel.it/ontologies/tplanning# (RDF/XML version)

The Timeline-based Planning ontology is the specification of the entities managed by a Timeline-based Planner to create and run a plan. This modelling reflects the basic conceptualizaion of AI Planning Applications based on Timeline Representations. The ontology is also available in N3/Turtle and in NTriple syntaxes.

This work was done in the context of PANDORA, an EU co-funded collaboration research project. This ontology was developed within the activities of WP3.

Version: 1.3 - Last update: June 17th, 2011.

Ontologies

Timeline-based Planning Ontology a owl:Ontology
rdfs:comment	Created by Irene Celino within the PANDORA project
rdfs:label	Timeline-based Planning Ontology
owl:versionInfo	Created with TopBraid Composer

Classes, Instances and Properties

actor a owl:Class
rdfs:comment	An Actor represents a specific role in the planning.
rdfs:label	actor

after a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	after
rdfs:subClassOf	temporal functions

AND Connector a owl:Class
rdfs:label	AND Connector
rdfs:subClassOf	Connector

Assignment Rule Relation a owl:Class
rdfs:comment	An AssignmentRuleRelation indicates the assignment of some value to a Variable (usually a Variable of the RuleTarget Event).
rdfs:label	Assignment Rule Relation
rdfs:subClassOf	Rule Relation and sp:Let

at a owl:Class
rdfs:comment	It requires 3 TemporalRanges.
rdfs:label	at
rdfs:subClassOf	temporal functions

before a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	before
rdfs:subClassOf	temporal functions

Component a owl:Class
rdfs:comment	A Component represent each of the 'quantities' that are kept under control during a planning session; as such each Component has an associated Timeline.
rdfs:label	Component
rdfs:subClassOf	owl:Thing

Connector a owl:Class
rdfs:comment	A Connector is a Requirement which represents a node in a Synchronization tree which can have further child nodes; it usually represents the type of connection holding between the child nodes.
rdfs:label	Connector
rdfs:subClassOf	Requirement (in a synchronization expression)

Constraint Rule Relation a owl:Class
rdfs:comment	A ConstraintRuleRelation indicates some condition to be verified on some Variables associated to either the RuleTarget Event or the reference Event of a PlanningRule.
rdfs:label	Constraint Rule Relation
rdfs:subClassOf	Rule Relation and sp:Filter

Consumable Resource a owl:Class
rdfs:comment	Every instance of this kind of Resource will always have a single Event with a single Variable to indicate the amount delta. Both the Event and its Variable can be automatically created when the instance of Resource is created. and A ConsumableResource is a type of Component representing a resource that can be consumed or produced over time (e.g. a reservoir).
rdfs:label	Consumable Resource
rdfs:subClassOf	resource (abstract class)

Consumable Resource Event a owl:Class
rdfs:comment	Every instance of this kind of Event will always have a single Variable to indicate the amount delta. Both the Event and its Variable can be automatically created when the instance of Resource is added. and A ConsumableResourceEvent is an Event that affects a ConsumableResource. The production/consumption of the ConsumableResource is indicated through the use of a particular Variable that indicates the 'delta' of the ConsumableResource 'amount'.
rdfs:label	Consumable Resource Event
rdfs:subClassOf	resource event (abstract class)

contains a owl:Class
rdfs:comment	It requires 2 TemporalRanges.
rdfs:label	contains
rdfs:subClassOf	temporal functions

contains end a owl:Class
rdfs:comment	It requires 2 TemporalRange2.
rdfs:label	contains end
rdfs:subClassOf	temporal functions

contains start a owl:Class
rdfs:comment	It requires 2 TemporalRanges.
rdfs:label	contains start
rdfs:subClassOf	temporal functions

default execution strategy a execution strategy (event operator)
rdfs:label	default execution strategy

duration a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	duration
rdfs:subClassOf	temporal functions

during a owl:Class
rdfs:comment	It requires 2 TemporalRanges.
rdfs:label	during
rdfs:subClassOf	temporal functions

end - end a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	end - end
rdfs:subClassOf	temporal functions

end - start a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	end - start
rdfs:subClassOf	temporal functions

ends at a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	ends at
rdfs:subClassOf	temporal functions

ends during a owl:Class
rdfs:comment	It requires 2 TemporalRanges.
rdfs:label	ends during
rdfs:subClassOf	temporal functions

event (predicate) a owl:Class
rdfs:comment	An Event is each of the 'things' that happen to one or more Actors. It is a n-ary relation between Variables.
rdfs:label	event (predicate)
rdfs:subClassOf	owl:Thing

event type a owl:Class
rdfs:comment	The EventType expresses the kind of operation involved in the RuleTarget event (production/consumption of a ConsumableResource, requirement on a ReusableResource, value choice for a StateVariable).
rdfs:label	event type

execution strategy (event operator) a owl:Class
rdfs:comment	The ExecutionStrategy expresses the 'way' in which the planner carries on the operation on the RuleTarget event implied by the PlanningRule.
rdfs:label	execution strategy (event operator)

finished by a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	finished by
rdfs:subClassOf	temporal functions

finishes a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	finishes
rdfs:subClassOf	temporal functions

Leaf a owl:Class
rdfs:comment	A Leaf is a Requirement which represents a node in a Synchronization tree which cannot have further child nodes.
rdfs:label	Leaf
rdfs:subClassOf	Requirement (in a synchronization expression)

meets a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	meets
rdfs:subClassOf	temporal functions

met by a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	met by
rdfs:subClassOf	temporal functions

must execution execution strategy a execution strategy (event operator)
rdfs:label	must execution execution strategy

must unify execution strategy a execution strategy (event operator)
rdfs:label	must unify execution strategy

Numeric Variable (range) a owl:Class
rdfs:comment	A NumericVariable indicates a Variable that can assume a numeric value. Since in planning modelling Variables indicate only the possibility of some Event to occur, Numeric Variables always indicate a numeric range for the values of such Variables (and, as such, a NumericVariable is always defined by means of tpl:lowerBound and tpl:upperBound properties).
rdfs:label	Numeric Variable (range)
rdfs:subClassOf	(predicate) variable

OR Connector a owl:Class
rdfs:label	OR Connector
rdfs:subClassOf	Connector

overlapped by a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	overlapped by
rdfs:subClassOf	temporal functions

overlaps a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	overlaps
rdfs:subClassOf	temporal functions

Planning Rule (synchronization) a owl:Class
rdfs:comment	A PlanningRule (also known as Synchronization) represents a 'potential' set of events that can happen. Synchronizations are described by a limited set of characteristics that, if matched with actual Events, can trigger some further action (e.g. the creation of another event, the end of a previous one, etc.)
rdfs:label	Planning Rule (synchronization)

Renewable Resource a owl:Class
rdfs:comment	A RenewableResource is a type of Component representing a resource that cannot be consumed nor produced, but that can be allocated or deallocated over time (e.g. employees of a company). and Every instance of this kind of Resource will always have a single Event with a single Variable to indicate the amount delta. Both the Event and its Variable can be automatically created when the instance of Resource is created.
rdfs:label	Renewable Resource
rdfs:subClassOf	resource (abstract class)

Renewable Resource Event a owl:Class
rdfs:comment	A RenewableResourceEvent is an Event that affects a RenewableResource. The requirement on the RenewableResource is indicated through the use of a particular Variable that indicates the 'delta' of the RenewableResource 'amount'. and Every instance of this kind of Event will always have a single Variable to indicate the amount delta. Both the Event and its Variable can be automatically created when the instance of Resource is added.
rdfs:label	Renewable Resource Event
rdfs:subClassOf	resource event (abstract class)

Requirement (in a synchronization expression) a owl:Class
rdfs:comment	A Requirement is a term in a synchronization expression; since a synchronization expression can be represented by a tree of elements/terms, a Requirement represents a generic node in the tree.
rdfs:label	Requirement (in a synchronization expression)
rdfs:subClassOf	owl:Thing

resource (abstract class) a owl:Class
rdfs:label	resource (abstract class)
rdfs:subClassOf	Component

resource consumption a event type
rdfs:comment	It represents the consumption of a consumable resource.
rdfs:label	resource consumption

resource event (abstract class) a owl:Class
rdfs:label	resource event (abstract class)
rdfs:subClassOf	event (predicate)

resource production a event type
rdfs:comment	It represents the production of a consumable resource.
rdfs:label	resource production

resource requirement a event type
rdfs:comment	It represents the allocation of a reusable resource.
rdfs:label	resource requirement

Rule Relation a owl:Class
rdfs:comment	A RuleRelation is a condition defined within a PlanningRule that states the relationship between variables and/or events. Generally speaking, a RuleRelation expresses a 'linear combination' of Variables and/or Events.
rdfs:label	Rule Relation
rdfs:subClassOf	Leaf

target (predicate) value a owl:Class
rdfs:comment	A RuleTarget is an Event 'triggered' within a PlanningRule (synchronization) as a 'consequence' of a reference event.
rdfs:label	target (predicate) value
rdfs:subClassOf	Leaf

scenario a owl:Class
rdfs:comment	A Scenario represents the 'initial state' of the world, before the actual execution of a plan. A Scenario contains a set of Events at the beginning of the plan, thus representing the minimal set of Events that happen in the plan execution.
rdfs:label	scenario
rdfs:subClassOf	state variable

start - end a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	start - end
rdfs:subClassOf	temporal functions

start - start a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	start - start
rdfs:subClassOf	temporal functions

started by a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	started by
rdfs:subClassOf	temporal functions

starts a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	starts
rdfs:subClassOf	temporal functions

starts at a owl:Class
rdfs:comment	It requires 1 TemporalRange.
rdfs:label	starts at
rdfs:subClassOf	temporal functions

starts during a owl:Class
rdfs:comment	It requires 2 TemporalRanges.
rdfs:label	starts during
rdfs:subClassOf	temporal functions

state variable a owl:Class
rdfs:comment	A StateVariable is a Component that expresses an Actor characteristic that evolves over time as a consequence of Events.
rdfs:label	state variable
rdfs:subClassOf	Component

temporal entity a owl:Class
rdfs:comment	A TemporalEntity gives information about the timing of some object. This description can refer to an Interval or an Instance depending on the case.
rdfs:label	temporal entity

(temporal) equals a owl:Class
rdfs:comment	It requires no TemporalRange.
rdfs:label	(temporal) equals
rdfs:subClassOf	temporal functions

temporal functions a owl:Class
rdfs:comment	TemporalFunctions are a special kind of spin:Functions that expresses temporal relations in a PlanningRule. Subclasses of this class are all Allen temporal relations; depending on the specific TemporalFunction, there can be up to 3 temporal ranges (NumericVariable) involved in the relation definition.
rdfs:label	temporal functions
rdfs:subClassOf	spin:Functions

temporal range a owl:Class
rdfs:comment	A TemporalRange is a special kind of NumericVariable representing a range over time. It is used within TemporalFunctions to express the temporal connection between Events.
rdfs:label	temporal range
rdfs:subClassOf	Numeric Variable (range)

temporal rule relation a owl:Class
rdfs:comment	A TemporalRuleRelation is a kind of RuleRelation that deals with temporal constraints (usually between Events).
rdfs:label	temporal rule relation
rdfs:subClassOf	Rule Relation and sp:Filter

timeline a owl:Class
rdfs:comment	A Timeline is the sequence of happening 'things'. There is one or more Timelines for groups of actors and/or for each actor involved in the planning.
rdfs:label	timeline

value choice a event type
rdfs:comment	It represents a choice to be done by an actor. It can either be a Yes/No choice or a multi-value selection.
rdfs:label	value choice

(predicate) variable a owl:Class
rdfs:comment	A Variable is each of the quantities involved in an Event or in a RuleRelation.
rdfs:label	(predicate) variable

has amount a owl:ObjectProperty
rdfs:comment	This property represents the 'capacity' of a Component (minimum and maximum amount). It is usually used with instances of the classes ReusableResource and ConsumableResource.
rdfs:domain	resource (abstract class)
rdfs:label	has amount
rdfs:range	Numeric Variable (range)

has event a owl:ObjectProperty
rdfs:domain	Component
owl:inverseOf	is event of
rdfs:label	has event
rdfs:range	event (predicate)

has event type a owl:ObjectProperty
rdfs:domain	target (predicate) value
rdfs:label	has event type
rdfs:range	event type

has execution strategy (has event operator) a owl:ObjectProperty
rdfs:domain	target (predicate) value
rdfs:label	has execution strategy (has event operator)
rdfs:range	execution strategy (event operator)

has instant description a owl:ObjectProperty
rdfs:domain	temporal entity
rdfs:label	has instant description
rdfs:range	time:Instant

has interval description a owl:ObjectProperty
rdfs:domain	temporal entity
rdfs:label	has interval description
rdfs:range	time:Interval

has planning rule (is reference event of) a owl:ObjectProperty
rdfs:domain	event (predicate)
owl:inverseOf	has reference event
rdfs:label	has planning rule (is reference event of)
rdfs:range	Planning Rule (synchronization)

has reference component a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has reference component
owl:propertyChainAxiom	has reference event and is event of
rdfs:range	Component

has reference event a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has reference event
rdfs:range	event (predicate)

has requirement a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has requirement
rdfs:range	Requirement (in a synchronization expression)

has rule relation a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has rule relation
rdfs:range	Rule Relation

has rule target a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has rule target
rdfs:range	target (predicate) value

has state variable a owl:ObjectProperty
rdfs:domain	actor
owl:inverseOf	is state variable of
rdfs:label	has state variable
rdfs:range	state variable

has target component a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
rdfs:label	has target component
owl:propertyChainAxiom	has target event and is event of
rdfs:range	Component

has target event a owl:ObjectProperty
rdfs:domain	Planning Rule (synchronization)
owl:inverseOf	is target event of
rdfs:label	has target event
owl:propertyChainAxiom	has rule target and has (event) value
rdfs:range	event (predicate)

has temporal description a owl:ObjectProperty
rdfs:label	has temporal description
rdfs:range	temporal entity

has timeline a owl:ObjectProperty
rdfs:domain	Component
rdfs:label	has timeline
rdfs:range	timeline

has (event) value a owl:ObjectProperty
rdfs:domain	target (predicate) value
rdfs:label	has (event) value
rdfs:range	event (predicate)

has variable a owl:ObjectProperty
rdfs:domain	event (predicate)
rdfs:label	has variable
rdfs:range	(predicate) variable

is event of a owl:ObjectProperty
rdfs:domain	event (predicate)
rdfs:label	is event of
rdfs:range	Component

is state variable of a owl:ObjectProperty
rdfs:domain	state variable
rdfs:label	is state variable of
rdfs:range	actor

is target event of a owl:ObjectProperty
rdfs:domain	event (predicate)
rdfs:label	is target event of
rdfs:range	Planning Rule (synchronization)

has lower bound a owl:DatatypeProperty
rdfs:comment	This property can be used with instances of the following classes: NumericVariable, TemporalRange, time:Instant, time:Interval.
rdfs:label	has lower bound
rdfs:range	xsd:double

next a owl:ObjectProperty
rdfs:domain	Connector
rdfs:label	next
rdfs:range	Requirement (in a synchronization expression)

has first temporal range a owl:ObjectProperty
rdfs:domain	temporal functions
rdfs:label	has first temporal range
rdfs:range	temporal range

has second temporal range a owl:ObjectProperty
rdfs:domain	temporal functions
rdfs:label	has second temporal range
rdfs:range	temporal range

has third temporal range a owl:ObjectProperty
rdfs:domain	temporal functions
rdfs:label	has third temporal range
rdfs:range	temporal range

rule-rule a owl:ObjectProperty
rdfs:comment	This is a derived property that put in relation a PlanningRule with the PlanningRule that could have 'triggered' it. In a triple having this property, the subject rule must have a reference event that was the target event of the object rule.
rdfs:domain	Planning Rule (synchronization)
rdfs:label	rule-rule
owl:propertyChainAxiom	has reference event and is target event of
rdfs:range	Planning Rule (synchronization)

target-reference a owl:ObjectProperty
rdfs:comment	This is a derived property that puts in relation an Event which is the 'target' of a RuleRelation with the Event that was the 'reference' of the same RuleRelation. We can say that, in a triple with this property, the subject event was somehow 'caused' by the object event.
rdfs:domain	event (predicate)
rdfs:label	target-reference
owl:propertyChainAxiom	is target event of and has reference event
rdfs:range	event (predicate)

has upper bound a owl:DatatypeProperty
rdfs:comment	This property can be used with instances of the following classes: NumericVariable, TemporalRange, time:Instant, time:Interval.
rdfs:label	has upper bound
rdfs:range	xsd:double

time:Instant a owl:Class

time:Interval a owl:Class

2011 - Credits: this ontology was modeled by

Irene Celino -

PANDORA project

License: this ontology is released under a CreativeCommons license.

This ontology was created with the TopBraid Composer modelling environment (free edition).
This webpage was manually edit after automatic RDF2HTML conversion powered by Rhizomic ReDeFer.