TODODom: Domain Module for Task-Oriented Dialogue management Ontology (TODO)
type: Ontology
imports: tododfa
imports: tododw
license: http://purl.org/NET/rdflicense/cc-by4.0
contributor: Izaskun Fernández (Tekniker) <mailto:izaskun.fernandez(at)tekniker.es>
created: 2020-04-21T00:00:00
creator: Cristina Aceta (Tekniker) <mailto:cristina.aceta(at)tekniker.es>
description: Module for domain modelling.
modified: 2021-09-23T10:00:00
preferred namespace prefix: tododom
version info: 2.1

appliesToWorld
type: ObjectProperty
inverse of: isApplicableToArgument
comment: Establishes the relation between an Argument and the WorldElements that can be associated to it.
term status: stable

appliesToWorldElement
type: ObjectProperty
sub property of: appliesToWorld
range: SpatialThing
comment: Establishes the relation between an Argument and a WorldElement that can be associated to it.
term status: stable

appliesToWorldElementGroup
type: ObjectProperty
sub property of: appliesToWorld
range: WorldElementGroup
comment: Establishes the relation between an Argument and a WorldElementGroup that can be associated to it.
term status: stable

hasGroupMember
type: ObjectProperty
inverse of: isMemberOfGroup
comment: Establishes the relation between a WorldElementGroup and a member of said group.
term status: stable

hasKeyElement
type: ObjectProperty
inverse of: isKeyElementOf
comment: Establishes a relation between a UserRequestTrace/UserResponseTrace and the Key Elements (KeyElementTrace) extracted from it.
term status: stable

hasLexicalUnit
type: ObjectProperty
inverse of: isLexicalUnitOf
comment: Establishes the relation between a FrameHead/WorldElement and one of its corresponding Lexical Units.
term status: stable

hasPossible
type: ObjectProperty
inverse of: isPossible
comment: Establishes a relation between a Trace and the possible Traces that can be associated to it.
term status: stable

hasPossibleAction
type: ObjectProperty
sub property of: hasPossible
inverse of: isPossibleActionOf
comment: Establishes a relation between a KeyElementTrace and the possible ActionTraces that can be associated to it.
term status: stable

hasPossibleArgument
type: ObjectProperty
sub property of: hasPossible
inverse of: isPossibleArgumentOf
comment: Establishes a relation between a KeyElementTrace and the possible ArgumentTraces that can be associated to it.
term status: stable

hasPossibleValue
type: ObjectProperty
sub property of: hasPossible
inverse of: isPossibleValueOf
comment: Establishes a relation between an ArgumentTrace and the possible WorldElementTraces that can be associated to it.
term status: stable

hasSpecification
type: ObjectProperty
comment: Establishes a relation between a TargetSystemReadableInformation element and its specific implementation in the target system (specification).
term status: stable

hasTargetSystemReadableInfo
type: ObjectProperty
inverse of: isTargetSystemReadableInfoOf
comment: Establishes the relation between an Action/Argument/WorldElement and its corresponding TargetSystemReadableInfo.
term status: stable

hasTrace
type: ObjectProperty
inverse of: isTraceOf
comment: Establishes the relationship between an element and its Trace.
term status: stable

hasType
type: ObjectProperty
type: FunctionalProperty
inverse of: isTypeOf
comment: (In a guide robot, with guiding and information functionalities; the TSRI of the destinations are coordinates and the TSRI of the elements to obtain information about are IDs) Destination_guideRobot hasTSRI ?x . ?x hasType coordinate . PieceInformation_guideRobot has TSRI ?y . ?y hasType ID .
comment: Establishes a relation between an Action/Argument/WorldElement TSRI and its TSRI type.
term status: stable

hasValue
type: ObjectProperty
comment: Establishes the relation between an ArgumentTrace and its corresponding value (WorldElementTrace).
term status: stable

isApplicableToArgument
type: ObjectProperty
range: Argument
comment: Establishes the relation between a WorldElement and the Argument(s) that it can be associated to.
term status: stable

isKeyElementOf
type: ObjectProperty
comment: Establishes a relation between a KeyElementTrace and the UserRequestTrace/UserResponseTrace it is extracted from.
term status: stable

isLexicalUnitOf
type: ObjectProperty
comment: Establishes the relation between a Lexical Unit and its corresponding FrameHead/WorldElement.
term status: stable

isMemberOfGroup
type: ObjectProperty
comment: Establishes the relation between a WorldElement and a WorldElementGroup, which is a member of.
term status: stable

isPossible
type: ObjectProperty
comment: Establishes a relation between a Trace and the Trace that it can be possibly associated to.
term status: stable

isPossibleActionOf
type: ObjectProperty
sub property of: isPossible
comment: Establishes a relation between an ActionTrace and the KeyElementTrace that it can be possibly associated to.
term status: stable

isPossibleArgumentOf
type: ObjectProperty
sub property of: isPossible
comment: Establishes a relation between an ArgumentTrace and the KeyElementTrace that it can be possibly associated to.
term status: stable

isPossibleValueOf
type: ObjectProperty
sub property of: isPossible
comment: Establishes a relation between a WorldElementTrace and the ArgumentTrace that it can be possibly associated to.
term status: stable

isTargetSystemReadableInfoOf
type: ObjectProperty
comment: Establishes the relation between a TargetSystemReadableInfon and the Action/Argument/WorldElement it corresponds to.
term status: stable

isTraceOf
type: ObjectProperty
comment: Establishes the relationship between a Trace and the element it refers to.
term status: stable

isTypeOf
type: ObjectProperty
type: InverseFunctionalProperty
comment: (In a guide robot, with guiding and information functionalities; the TSRI of the destinations are coordinates and the TSRI of the elements to obtain information about are IDs) Destination_guideRobot hasTSRI ?x . coordinate isTypeOf ?x . PieceInformation_guideRobot has TSRI ?y . ID isTypeOf ?y .
comment: Establishes a relation between a TSRI type and the Action/Argument/WorldElement TSRI with said TSRI type.
term status: stable

IDval
type: DatatypeProperty
type: FunctionalProperty
comment: Unique identification value for individuals.
term status: stable

asked
type: DatatypeProperty
comment: Boolean to determine if an element has been asked by the DialogueManager.
term status: stable

current
type: DatatypeProperty
comment: Flag to determine if the KeyElementTrace is the one being processed by the Dialogue Manager.
term status: stable

implementation
type: DatatypeProperty
type: FunctionalProperty
comment: Sets specific implementation information for a Service.
term status: stable

index
type: DatatypeProperty
comment: Flag to determine the order of KeyElementTraces.
term status: stable

keyElementsUsedToAssign
type: DatatypeProperty
comment: Stores the KeyElements that have been used to perform assignation in the Dialogue Manager.
term status: stable

order
type: DatatypeProperty
range: int
comment: Sets the order in which each argument needs to be output to the target system.
term status: stable

val
type: DatatypeProperty
comment: Sets the value of a TSRI to be input to the target system.
term status: stable

Service
type: Class
subclass of: Restriction
  on property: supports
  qualified cardinality: 1
  on class: ServiceGrounding

WsdlAtomicProcessGrounding
type: Class
subclass of: AtomicProcessGrounding
subclass of: Restriction
  on property: wsdlDocument
  qualified cardinality: 1
  on data range: anyURI
subclass of: Restriction
  on property: wsdlInputMessage
  qualified cardinality: 1
  on data range: anyURI
subclass of: Restriction
  on property: wsdlOutputMessage
  qualified cardinality: 1
  on data range: anyURI
subclass of: Restriction
  on property: wsdlVersion
  qualified cardinality: 1
  on data range: anyURI
has key: IDval

Action
type: Class
subclass of: Restriction
  on property: hasTrace
  some values from: ActionTrace
subclass of: Restriction
  on property: hasTargetSystemReadableInfo
  qualified cardinality: 1
  on class: TargetSystemReadableInformation
has key: IDval

Argument
type: Class
subclass of: Restriction
  on property: appliesToWorldElement
  some values from: SpatialThing
subclass of: Restriction
  on property: appliesToWorldElementGroup
  some values from: WorldElementGroup
subclass of: Restriction
  on property: hasTrace
  some values from: ArgumentTrace
subclass of: Restriction
  on property: hasTargetSystemReadableInfo
  qualified cardinality: 1
  on class: TargetSystemReadableInformation
subclass of: Restriction
  on property: order
  some values from: int
has key: IDval

ActionTSRI
type: Class
subclass of: TargetSystemReadableInformation
subclass of: Restriction
  on property: hasType
  some values from: ActionType
has key: IDval
comment: Target System Readable Information corresponding to elements of the class Action.
term status: stable

ActionTrace
type: Class
subclass of: Restriction
  on property: belongsToIntent
  some values from: IntentTrace
subclass of: Restriction
  on property: hasArgument
  some values from: ArgumentTrace
subclass of: Restriction
  on property: hasPossibleArgument
  some values from: ArgumentTrace
subclass of: Restriction
  on property: isPossibleActionOf
  some values from: KeyElementTrace
subclass of: Restriction
  on property: isTraceOf
  some values from: Action
has key: IDval
comment: Element that leaves a record of an Action obtained throughout the dialogue process.
term status: stable

ActionType
type: Class
subclass of: InfoType
subclass of: Restriction
  on property: isTypeOf
  some values from: ActionTSRI
has key: IDval
term status: stable
example: Action: obtain_information -> it is directed towards API REST service The TSRI for obtain_information has an ActionType "service".
example: Establishes the TSRI type of an Action.

ArgumentTSRI
type: Class
subclass of: TargetSystemReadableInformation
subclass of: Restriction
  on property: hasType
  some values from: ParameterType
subclass of: Restriction
  on property: implementation
  qualified cardinality: 1
  on data range: string
has key: IDval
comment: Target System Readable Information corresponding to elements of the class Argument.
term status: stable

ArgumentTrace
type: Class
subclass of: Restriction
  on property: isArgumentOf
  some values from: ActionTrace
subclass of: Restriction
  on property: hasPossibleValue
  some values from: WorldElementTrace
subclass of: Restriction
  on property: hasValue
  some values from: SpatialThing
subclass of: Restriction
  on property: isPossibleArgumentOf
  some values from: KeyElementTrace
subclass of: Restriction
  on property: isTraceOf
  some values from: Argument
has key: IDval
comment: Element that leaves a record of an Argument obtained throughout the dialogue process.
term status: stable

Command
type: Class
subclass of: Restriction
  on property: implementation
  qualified cardinality: 1
  on data range: string
has key: IDval
comment: Element that covers the information to execute an Action that is executable through a command (vs. as a Service).
term status: stable

CommandTSRI
type: Class
subclass of: ActionTSRI
subclass of: Restriction
  on property: hasSpecification
  qualified cardinality: 1
  on class: Command
has key: IDval
comment: Target System Readable Information corresponding to elements of the class Action that require information in a Command format.
term status: stable

FrameTrace
type: Class
subclass of: Restriction
  on property: isFrameOf
  some values from: IntentTrace
subclass of: Restriction
  on property: isTraceOf
  some values from: Frame
has key: IDval
comment: Element that leaves a record of a Frame obtained throughout the dialogue process.
term status: stable

InfoType
type: Class
has key: IDval
comment: Establishes the TSRI type of a given Action/Parameter.
term status: stable

IntentTrace
type: Class
subclass of: Restriction
  on property: belongsToAction
  some values from: ActionTrace
subclass of: Restriction
  on property: hasFrame
  some values from: FrameTrace
subclass of: Restriction
  on property: isIntentOf
  some values from: SkillTrace
subclass of: Restriction
  on property: isTraceOf
  some values from: Intent
has key: IDval
comment: Element that leaves a record of an Intent obtained throughout the dialogue process.
term status: stable

KeyElementTrace
type: Class
subclass of: Restriction
  on property: hasPossibleAction
  some values from: ActionTrace
subclass of: Restriction
  on property: hasPossibleArgument
  some values from: ArgumentTrace
subclass of: Restriction
  on property: asked
  some values from: boolean
subclass of: Restriction
  on property: current
  some values from: boolean
has key: IDval
is defined by: Element that leaves a record of a key element obtained from a user input.
term status: stable

LexicalUnit
type: Class
subclass of: Restriction
  on property: isLexicalUnitOf
  some values from: SpatialThing
subclass of: Restriction
  on property: isLexicalUnitOf
  some values from: FrameHead
has key: IDval
comment: Word(s) that cover the different variants of a FrameHead or a WorldElement.
term status: stable
example: FrameHead: go LexUnits (in Spanish): ir.V, desplazarse.V

ParameterType
type: Class
subclass of: InfoType
subclass of: Restriction
  on property: isTypeOf
  some values from: WorldElementTSRI
has key: IDval
comment: Establishes the type of parameter of a TSRI.
term status: stable
example: "baño" hasTSRI "coords_baño" "baño" hasTSRI "ID_baño" "coords_baño" is of ParameterType "coordinate" "ID_baño" is of ParameterType "ID"

ServiceTSRI
type: Class
subclass of: ActionTSRI
subclass of: Restriction
  on property: hasSpecification
  qualified cardinality: 1
  on class: Service
has key: IDval
comment: Target System Readable Information corresponding to elements of the class Action that point to Services.
term status: stable

SkillTrace
type: Class
subclass of: Restriction
  on property: hasIntent
  some values from: IntentTrace
subclass of: Restriction
  on property: isTraceOf
  some values from: Skill
has key: IDval
comment: Element that leaves a record of a Skill obtained throughout the dialogue process.
term status: stable

TargetSystemReadableInformation
type: Class
subclass of: Restriction
  on property: hasType
  some values from: InfoType
subclass of: Restriction
  on property: val
  some values from: string
has key: IDval
comment: Information that is sent to the system to perform an execution or as argument for an execution, in a format that is understandable to the target system.
comment: Plain language for whole action: Pick plastic container SystemReadableInfo for "pick": robAction.Pick SystemReadableInfo for "plastic container": containerID:235 SystemReadableInfo for whole action: robAction.Pick(containerID:235)
term status: stable

WorldElementGroup
type: Class
subclass of: Restriction
  on property: hasGroupMember
  some values from: SpatialThing
has key: IDval
comment: Agrupation of WorldElements of similar characteristics.
term status: stable

WorldElementTSRI
type: Class
subclass of: TargetSystemReadableInformation
subclass of: Restriction
  on property: hasType
  some values from: ParameterType
has key: IDval
comment: Target System Readable Information corresponding to elements of the class WorldElement.
term status: stable

WorldElementTrace
type: Class
subclass of: Restriction
  on property: isPossibleValueOf
  some values from: ArgumentTrace
has key: IDval
is defined by: Element that leaves a record of a world element.
term status: stable