OASIS
type: Ontology
created: Gianpietro Castiglione @eng
created: Carmelo Fabio Longo
prior version ontology token: 1
created: Marianna Nicolosi-Asmundo
created: foaf.rdf
version info: This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
created: Domenico Cantone
created: Daniele Francesco Santamaria
comment: OASIS- An Ontology for Agents, Systems, and Integration of Services
created: Corrado Santoro

importsOntologyToken
type: AnnotationProperty
comment: This property is used to mention the the OASIS-OntoToken token number of the imported ontologies @eng
range: int

isDescribedByOntologyDescription
type: AnnotationProperty
comment: This property is used to provide the current ontology with a meta-ontology, i.e., an ontology that describes another ontology @eng
range: anyURI

priorVersionOntologyToken
type: AnnotationProperty
comment: This property is used to mention the the OASIS-OntoToken token number of the previous version of the ontology @eng
range: int

activatedByScheduling
type: ObjectProperty
sub property of: isInvolvedInSchedulingWith
domain: Execution activity
range: Scheduling
comment: This property links execution activities to a scheduling

adoptsTemplate
type: ObjectProperty
sub property of: isDescribedBy
range: Template
comment: This property links things to a Template

configurationProvidedBy
type: ObjectProperty
sub property of: isInvolvedInConfigurationSetUpWith
domain: Configuration
range: Agent
comment: This property links a configuration to its agent creator

consistsOf
type: ObjectProperty
type: TransitiveProperty
comment: This property links things to their forming parts

consistsOfConnectionEntry
type: ObjectProperty
sub property of: consistsOfEntry
domain: Connection
range: Connection entry
comment: This property links things connections to their entries

consistsOfDescription
type: ObjectProperty
sub property of: consistsOf
comment: This property links things to a description object

consistsOfEntrustment
type: ObjectProperty
sub property of: consistsOf
domain: Entrustment activity
range: Entrustment activity
comment: This property links things to an entrustment

consistsOfEntry
type: ObjectProperty
sub property of: consistsOf
comment: This property links things to an entry

consistsOfExecution
type: ObjectProperty
sub property of: consistsOf
comment: This property links things to an execution object

consistsOfFinalProcedureState
type: ObjectProperty
sub property of: consistsOfNextProcedureState
domain: Class
  union of: Initial Process State
  union of: Non Terminating Process State
range: Final Process State
comment: This property connects a process state to the final process state.

consistsOfGoalDescription
type: ObjectProperty
sub property of: consistsOfDescription
domain: Behavior
range: Goal description
comment: This property links things to a description of a goal

consistsOfGoalEntrustment
type: ObjectProperty
sub property of: consistsOfEntrustment
domain: Plan entrustment
range: Goal entrustment
comment: This property links things to goal entrustments

consistsOfGoalExecution
type: ObjectProperty
sub property of: consistsOfExecution
domain: Plan execution
range: Goal execution
comment: This property links plans to an execution of a goal

consistsOfNextProcedureState
type: ObjectProperty
sub property of: consistsOfProcedureState
domain: Process State
range: Process State
comment: This property connects a process state with the next process state. @eng

consistsOfNonTerminatingProcedureState
type: ObjectProperty
sub property of: consistsOfNextProcedureState
domain: Class
  union of: Initial Process State
  union of: Non Terminating Process State
range: Non Terminating Process State
comment: This property connects a process state with a non terminating process state. @eng

consistsOfProcedureState
type: ObjectProperty
sub property of: consistsOf
domain: Process State
range: Process State
comment: This property connects a process state to another process state. @eng

consistsOfSmartContractEntry
type: ObjectProperty
sub property of: consistsOfEntry
domain: Class
  union of: SmartContractInstance
  union of: Smart contract
range: Smart contract entry
comment: This property links smart contracts to their entries

consistsOfTaskDescription
type: ObjectProperty
sub property of: consistsOfDescription
range: Task description
comment: This property links things to a description of a task

consistsOfTaskEntrustment
type: ObjectProperty
sub property of: consistsOfEntrustment
domain: Goal entrustment
range: Task entrustment
comment: This property links things to task entrustments

cosistsOfTaskExecution
type: ObjectProperty
sub property of: consistsOfExecution
domain: Goal execution
range: Task execution
comment: This property links goals to an execution of a task

dependsOn
type: ObjectProperty
sub property of: isRelatedWith
comment: This property links things to their depending objects

entrustedFrom
type: ObjectProperty
sub property of: isInvolvedInEntrustmentWith
domain: Entrustment activity
range: Class
  union of: Behavior thing
  union of: Intention description object
range: Class
  union of: Behavior thing
  union of: Intention description object
  union of: Task descriptor
comment: This property links entrustment activities to the related behavior description object

entrustedWith
type: ObjectProperty
sub property of: isInvolvedInEntrustmentWith
domain: Entrustment activity
range: Execution activity
range: Class
  union of: Behavior thing
  union of: Execution activity
  union of: Task descriptor
comment: This property links things entrustment activities with the related execution activities

entrusts
type: ObjectProperty
sub property of: isInvolvedInEntrustmentWith
domain: Entrustment activity
range: Agent
comment: This property links entrustment activities to agents responsible to perform the related activity

establishedWith
type: ObjectProperty
sub property of: isRelatedWith
domain: Connection
range: Connection
comment: This property links two connection entry points

fallsWithin
type: ObjectProperty
sub property of: isRelatedWith
type: TransitiveProperty
domain: Space
range: Space
comment: This property links spaces to the contained spaces

hasAppellation
type: ObjectProperty
sub property of: isDescribedBy
range: Appellation
comment: This property links things to an appellation

hasBehavior
type: ObjectProperty
sub property of: isDescribedBy
domain: Actor
range: Behavior
comment: This property links agents to the related behavior

hasCompositeValue
type: ObjectProperty
comment: This property links things to a value

hasConditionalDescriptor
type: ObjectProperty
sub property of: hasDescriptor
domain: Conditional thing
range: Conditional descriptor
comment: This property links things to a conditional descriptor

hasConditionalOperator
type: ObjectProperty
sub property of: hasConditionalDescriptor
sub property of: hasOperator
range: Conditional operator
comment: This property links things to a conditional operator

hasConditionalRuleThing
type: ObjectProperty
sub property of: hasConditionalThing
domain: Conditional
range: Class
  union of: Conditional body
  union of: Conditional head
comment: This property links things to conditionals

hasConditionalSubject
type: ObjectProperty
sub property of: hasConditionalDescriptor
sub property of: hasSubjectThing
domain: Conditional
range: Conditional subject
comment: This property links things to a conditional subject

hasConfiguration
type: ObjectProperty
sub property of: isInvolvedInConfigurationSetUpWith
range: Configuration
comment: This property links things to a configuration

hasConnection
type: ObjectProperty
sub property of: isInvolvedInConfigurationSetUpWith
domain: Agent Configuration
range: Connection
comment: This property links agents to their connection entry point

hasConnectionEntry
type: ObjectProperty
sub property of: hasCompositeValue
domain: Connection
range: Connection entry
comment: This property links connections to their entries

hasDescriptor
type: ObjectProperty
range: Descriptor
comment: This property links things to a descriptor

hasExecutionObject
type: ObjectProperty
domain: Class
  union of: Intention description object
  union of: TaskFormalParameter
  union of: TaskObject
range: Class
  union of: Execution activity
  union of: TaskActualParameter
  union of: TaskObject
comment: This property links behavior descriptions with the related execution activity

hasGeometricExtension
type: ObjectProperty
sub property of: hasCompositeValue
domain: Physical space
range: GeometricExtension
comment: This property links physical space with geometric extension

hasOperator
type: ObjectProperty
comment: This property links things with operators

hasOpportunityValue
type: ObjectProperty
sub property of: hasCompositeValue
range: OpportunityValue
comment: This property links things to opportunity values

hasParameter
type: ObjectProperty
comment: This property links things to their parameters

hasScheduling
type: ObjectProperty
sub property of: isInvolvedInSchedulingWith
domain: Intention description object
range: Scheduling
comment: This property links behavior descriptions with scheduling activities

hasSpaceSpan
type: ObjectProperty
sub property of: isRelatedWith
range: Space
comment: This property links things to spaces

hasStatus
type: ObjectProperty
sub property of: hasFeature
range: Status
comment: This property links things to a status

hasSubjectThing
type: ObjectProperty
comment: This property links things to a subject

hasTaskDescriptor
type: ObjectProperty
sub property of: hasDescriptor
comment: This property links things to a task descriptor

hasTaskExecution
type: ObjectProperty
sub property of: hasExecutionObject
domain: Task description
range: Task execution
comment: This property links descriptions of tasks with the related execution task

hasTaskObject
type: ObjectProperty
sub property of: hasObjectThing
sub property of: hasTaskDescriptor
range: TaskObject
comment: This property links things to a task object

hasTaskOperator
type: ObjectProperty
sub property of: hasOperator
sub property of: hasTaskDescriptor
range: Task operator
comment: This property links things to a task operator

hasTimeSpan
type: ObjectProperty
sub property of: isRelatedWith
range: TemporalEntity
comment: This property links things to a temporal entity

isDescribedBy
type: ObjectProperty
comment: This property links things to a description thing

isInvolvedInEntrustmentWith
type: ObjectProperty
sub property of: isInvolvedIn
comment: This property links things involved in entrustments

procedureConsistsOfFinalProcedureState
type: ObjectProperty
sub property of: procedureConsistsOfProcedureState
domain: Process
range: Final Process State
comment: This property connects a process with its final state. @eng

procedureConsistsOfInitialProcedureState
type: ObjectProperty
sub property of: procedureConsistsOfProcedureState
domain: Process
range: Initial Process State
comment: This property connects a process with its initial state. @eng

procedureConsistsOfNonTerminatingProcedureState
type: ObjectProperty
sub property of: procedureConsistsOfProcedureState
domain: Process
range: Non Terminating Process State
comment: This property connects a process with its non terminating state. @eng

procedureConsistsOfProcedureState
type: ObjectProperty
sub property of: consistsOf
domain: Process
range: Process State
comment: This property connects a process with its process state. @eng

setsUp
type: ObjectProperty
sub property of: isInvolvedInConfigurationSetUpWith
domain: Configuration
range: Configured thing
comment: This property links configurations of components to the configurated object

settles
type: ObjectProperty
sub property of: consistsOf
domain: Class
  union of: Actuator
  union of: Agent
range: Class
  union of: Actuator
  union of: Agent
comment: This property links things to things phisically mounted on them

triggers
type: ObjectProperty
sub property of: interactsWith
range: Event
comment: This property links agents to triggered events

Action status
type: Class
subclass of: Status
comment: This class describes the status of an execution object.

Action thing
type: Class
comment: This class describes an object involved in some actions

Activation status
type: Class
subclass of: Status
comment: This class describes the status of activable objects such as believes or scheduling activities.

Active status
type: Class
subclass of: Activation status
comment: This class describes the active status of activable objects such as believes or scheduling activities.

Activity
type: Class
comment: This class describes a general activity.

Actor
type: Class
equivalent class: Restriction
  on property: hasBehavior
  some values from: Behavior
subclass of: Action thing
comment: This class describes actors

Actuator
type: Class
subclass of: Actor
comment: This class descrives general actuators

Actuator template
type: Class
subclass of: Template
comment: This class describes an actuator template

Agent
type: Class
subclass of: Actor
comment: This class describes a general Agent

Agent behavior template
type: Class
subclass of: BehaviorTemplate
comment: This class describes a template for agent behaviors.

Agent Configuration
type: Class
subclass of: Configuration
comment: This class describes an agent configuration object

Behavior
type: Class
subclass of: Behavior thing
subclass of: Description object
comment: This class describes an agent behavior

Behavior thing
type: Class
comment: This class describes a part of a Behavior

CompositeValue
type: Class
subclass of: SetThing
comment: This class describes a general complex value
comment: Value

Conditional
type: Class
subclass of: Conditional thing
comment: This class describes a single conditional

Conditional body
type: Class
subclass of: ConditionalRuleThing

Conditional descriptor
type: Class
subclass of: Descriptor
comment: This class describes a conditional descriptor

Conditional head
type: Class
subclass of: ConditionalRuleThing

Conditional object
type: Class
subclass of: Conditional descriptor

Conditional operator
type: Class
subclass of: Conditional descriptor
subclass of: Operator
comment: This class describes operators used in conditionals.

Conditional parameter
type: Class
subclass of: Conditional descriptor
comment: This class describes conditional restriction parameters

Conditional set
type: Class
subclass of: Conditional thing
comment: This class describes a set of conditionals. All the conditionals binded to a single set must holds.

Conditional subject
type: Class
subclass of: Conditional descriptor
comment: This class describes the subject of a conditional

Conditional thing
type: Class

Configuration
type: Class
subclass of: Configuration part
comment: This class describes a configuration object

Configuration part
type: Class
comment: This class describes a part of a configuration

Configured thing
type: Class
subclass of: Configuration part
comment: This class describes a configured projection of something

Connection
type: Class
subclass of: Connection part
comment: This class describes a connection point of an Agent

Connection entry
type: Class
subclass of: CompositeValue
subclass of: Connection part
comment: This class describes a connection entry.

Connection part
type: Class
subclass of: Description object
comment: This class describes a part of a connection

Data operator
type: Class
subclass of: RestrictionOperator
comment: This class describes data operators used in conditionals.

Deactive status
type: Class
subclass of: Activation status
comment: This class describes the deactive status of activable objects such as believes or scheduling activities.

Description object
type: Class
comment: This class describes an object providing a description of something

Descriptor
type: Class
label: This class describes a descriptor

Device
type: Class
subclass of: Robot agent
comment: This class describes a general Device

Device agent behavior template
type: Class
subclass of: Robot agent behavior template
comment: This class describes a device agent behavior template

Entrustment activity
type: Class
subclass of: Activity
comment: This class describes an object providing an entrustment of something to someone.

Event
type: Class
subclass of: TemporalEntity
comment: This class describes a general event

EventDescriptor
type: Class
subclass of: Descriptor
comment: This class describes an event descriptor @eng

EventObject
type: Class
subclass of: EventDescriptor
comment: This class describes the object of an event @eng

EventOperator
type: Class
subclass of: EventDescriptor
subclass of: Operator
comment: This class describes the action of an event @eng

EventSubject
type: Class
subclass of: EventDescriptor
comment: This class describes the subject of an event @eng

Execution activity
type: Class
subclass of: Activity
comment: This class describes an actiivy than can be executed.

Existential operator
type: Class
subclass of: RestrictionOperator
comment: This class describes existential operators used in conditionals.

ExtrinsicBehavior
type: Class
subclass of: Behavior
disjoint with: IntrisicBehavior
comment: This class represents either a behavior that is either the direct consenquence of a third-part actor's will or programming or an unintensional behavior @eng

Feasibility
type: Class
subclass of: Feature
comment: This class describes the feasibility of a task.

Feasibility false
type: Class
subclass of: Feasibility
comment: This class describes the false feasibility of a task.

Feasibility true
type: Class
subclass of: Feasibility
comment: This class describes the true feasibility of a task.

Feature
type: Class
comment: This class describes a feature

File description object
type: Class
subclass of: InformationObject

Final Process State
type: Class
subclass of: Terminating Process State
label: This class represents the final state of a process.

GeometricExtension
type: Class
subclass of: Measurement
comment: Geometric extension
comment: This class describes a set of spatial coordinates.

Goal description
type: Class
subclass of: Goal part
subclass of: Intention description object
comment: This class describes an the description of a goal.

Goal entrustment
type: Class
subclass of: Entrustment activity
comment: This class describes entrustment of a goal to someone.

Goal execution
type: Class
subclass of: Execution activity
subclass of: Goal part
comment: This class describes the execution of a goal.

Goal part
type: Class
subclass of: Behavior thing
comment: This class describes a part of a goal

Human agent
type: Class
subclass of: Agent
comment: This class describes a general Human Agent

Human agent behavior template
type: Class
subclass of: Agent behavior template
comment: This class describes an human agent behavior template

Initial Process State
type: Class
subclass of: Terminating Process State
comment: This class represents the initial state of a process.

Intention description object
type: Class
subclass of: Description object
comment: This class describes an object providing a description of action that can be requested

IntrisicBehavior
type: Class
subclass of: Behavior
comment: This class represents a behavior that is the direct consenquence of the actor will or programming @eng

Message
type: Class
subclass of: Description object
comment: This class describes a message

MultiAgentSystem
type: Class
subclass of: System
comment: a Multi-Agent System is a set of agents who operate togheter on voluntary base or by design @eng

Non Terminating Process State
type: Class
subclass of: Process State
comment: This class represents an internal process state of a process.

Ontology description object
type: Class
subclass of: InformationObject
comment: This class describes ontology description objects

Operator
type: Class
subclass of: Action thing
comment: This class describes a general operator

OpportunityValue
type: Class
subclass of: CompositeValue
comment: Opportunity value
comment: This class describes the opportunity value of a goal.

Physical space
type: Class
subclass of: Space

Plan entrustment
type: Class
subclass of: Entrustment activity
comment: This class describes entrustment of a plan to someone.

Plan execution
type: Class
subclass of: Execution activity
subclass of: Plan part

Plan part
type: Class
subclass of: Behavior thing
comment: This class describes the part of a plan.

Process
type: Class
subclass of: Action thing
comment: This class represents a process by folllowing the Abstract State Machine model.

Process State
type: Class
equivalent class: Class
  union of: Non Terminating Process State
  union of: Terminating Process State
subclass of: Action thing
comment: This class represents the processes state of a process.

Plan description
type: Class
subclass of: PlanDescription
subclass of: Plan part
comment: This class describes the description of a plan.

Robot agent
type: Class
subclass of: Agent
comment: This class describes a general Autonomous System

Robot agent behavior template
type: Class
subclass of: Agent behavior template
comment: This class describes an robot agent behavior template

Scheduling
type: Class
subclass of: Description object
comment: Scheduling
comment: This class describes the scheduling of an action

Sensor
type: Class
subclass of: Device
comment: This class describes a general Sensor

Smart contract entry
type: Class
subclass of: Smart contract part
comment: This class describes a smart contract entry

Smart contract
type: Class
subclass of: Smart contract part
label: This class describes a smart contract

Smart contract part
type: Class
subclass of: Description object
comment: This class describes a smart contract part

Society
type: Class
subclass of: System
comment: A society is a set of agents who operate haphazardly togheter @eng

Software agent
type: Class
subclass of: Robot agent
comment: This class describes a general software Agent

Software agent behavior template
type: Class
subclass of: Robot agent behavior template
comment: This class describes a software agent behavior template

Space
type: Class
comment: This class describes a general space.

Space operator
type: Class
subclass of: RestrictionOperator
comment: This class describes space operators used in conditionals.

Status
type: Class
subclass of: Feature
comment: This class describes a general status of something.

System
type: Class
subclass of: Actor
comment: This class describes a set of things working together as parts of a mechanism.

Task description
type: Class
subclass of: Intention description object
subclass of: Task part
comment: This class describes the description of a task.

Task descriptor
type: Class
subclass of: Descriptor
comment: This class represents the descriptors of a task

Task entrustment
type: Class
subclass of: Entrustment activity
subclass of: Task part
comment: This class describes entrustment of a task to someone.

Task execution
type: Class
subclass of: Execution activity
subclass of: Task part
comment: This class describes the execution of a task.

Task input parameter
type: Class
subclass of: TaskParameter

TaskObject
type: Class
subclass of: Task descriptor
comment: Task object
comment: This class describes the object of a task

Task object template
type: Class
subclass of: Template

Task operator
type: Class
subclass of: Operator
subclass of: Task descriptor
comment: This class describes task operators.

Task output parameter
type: Class
subclass of: TaskParameter

TaskParameter
type: Class
subclass of: Task descriptor
comment: Task parameter
comment: This class describes the parameter of the object of a task.

Task parameter template
type: Class
subclass of: Template

Task part
type: Class
subclass of: Behavior thing
comment: This class describes a part of a task.

Temperature value
type: Class
subclass of: Measurement
comment: This class describe values of temperature

Template
type: Class
subclass of: Description object
comment: This class describes a template

Terminating Process State
type: Class
subclass of: Process State
comment: This class represents a process state of a process that is either initial or final.

Time operator
type: Class
subclass of: RestrictionOperator
comment: This class describes time operators used in conditionals.

Virtual space
type: Class
subclass of: Space