DUL.pl -- Predicates for the DOLCE+DnS Ultralite ontology.
DUL is a lightweight, easy-to-apply foundational ontology
for modeling physical and social contexts.
- author
- - Daniel Beßler
- See also
- - http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
- license
- - BSD
- is_object(?Entity) is nondet
- True iff Entity is an instance of dul:'Object'.
- Arguments:
-
- is_quality(?Entity) is nondet
- True iff Entity is an instance of dul:'Quality'.
- Arguments:
-
- is_concept(?Entity) is nondet
- True iff Entity is an instance of dul:'Concept'.
- Arguments:
-
- is_role(?Entity) is nondet
- True iff Entity is an instance of dul:'Role'.
- Arguments:
-
- is_agent(?Entity) is nondet
- True iff Entity is an instance of dul:'Agent'.
- Arguments:
-
- is_physical_object(?Entity) is nondet
- True iff Entity is an instance of dul:'PhysicalObject'.
- Arguments:
-
- is_physical_artifact(?Entity) is nondet
- True iff Entity is an instance of dul:'PhysicalArtifact'.
- Arguments:
-
- is_social_object(?Entity) is nondet
- True iff Entity is an instance of dul:'SocialObject'.
- Arguments:
-
- has_quality_type(+Entity, ?Type) is nondet
- Relates an entity to its types that are sub-classes
of the Quality concept.
- Arguments:
-
Entity | - named individual |
Type | - class resource |
- has_object_type(+Entity, ?Type) is nondet
- Relates an entity to its types that are sub-classes
of the Object concept.
- Arguments:
-
Entity | - named individual |
Type | - class resource |
- has_location(?Object, ?Location) is nondet
- A generic, relative spatial location, holding between any entities. E.g.
- 'the cat is on the mat',
- 'Omar is in Samarcanda',
- 'the wound is close to the femural artery'.
@param Object named individual
@param Location named individual
- has_role(?Entity, ?Role) is nondet
- Relates an object to its roles.
- Arguments:
-
Entity | - named individual |
Role | - named individual |
- has_part(?Entity, ?Part) is nondet
- Relates an object to its parts.
- Arguments:
-
Entity | - IRI atom |
Part | - IRI atom
TODO : not object related, probably best to add a module DUL.pl and add it there |
- is_event(?Entity) is nondet
- True iff Entity is an instance of dul:'Event'.
- Arguments:
-
- is_event_type(?Entity) is nondet
- True iff Entity is an instance of dul:'EventType'.
- Arguments:
-
- is_action(?Entity) is nondet
- True iff Entity is an instance of dul:'Action'.
- Arguments:
-
- is_task(?Entity) is nondet
- True iff Entity is an instance of dul:'Task'.
- Arguments:
-
- is_process(?Entity) is nondet
- True iff Entity is an instance of dul:'Process'.
- Arguments:
-
- has_participant(+Evt, ?Participant, ?Class) is nondet
- A relation between an object and a process, e.g.
- 'John took part in the discussion',
- 'a large mass of snow fell during the avalanche', or
- 'a cook, some sugar, flour, etc. are all present in the cooking of a cake'.
@param Evt An individual of type dul:'Event'.
@param Participant An individual of type dul:'Object'.
@param Class The most specific type of Participant.
- is_classified_by(+Evt, ?Tsk) is nondet
-
- Arguments:
-
Evt | - The Event |
Task | - The task that classifies the Event |
- executes_task(?Act, ?Tsk) is nondet
- 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'.
- Arguments:
-
Act | - An individual of type dul:'Action'. |
Tsk | - An individual of type dul:'Task'. |
- task_role(?Tsk, ?Role) is nondet
- A relation between roles and tasks, e.g.
'students have the duty of giving exams'
(i.e. the Role 'student' hasTask the Task 'giving exams').
- Arguments:
-
Tsk | - An individual of type dul:'Task'. |
Role | - An individual of type dul:'Role'. |
- task_role_type(?Tsk, ?Role, ?RoleType) is nondet
- Same as task_role/2 but in addition unifies the
type of the parameter with the third argument.
- Arguments:
-
Tsk | - An individual of type dul:'Task'. |
Role | - An individual of type dul:'Role'. |
RoleType | - A sub-class of dul:'Role'. |
- task_role_range(?Tsk, ?Role, ?Range) is nondet
- Same as task_role/2 but in addition unifies the
range of the parameter with the third argument.
- Arguments:
-
Tsk | - An individual of type dul:'Task'. |
Role | - An individual of type dul:'Role'. |
Range | - A sub-class of dul:'Object'. |
- is_region(?Entity) is nondet
- True iff Entity is an instance of dul:'Region'.
- Arguments:
-
- is_parameter(?Entity) is nondet
- True iff Entity is an instance of dul:'Parameter'.
- Arguments:
-
- is_space_region(?Entity) is nondet
- True iff Entity is an instance of dul:'SpaceRegion'.
- Arguments:
-
- is_amount(?Entity) is nondet
- True iff Entity is an instance of dul:'Amount'.
- Arguments:
-
- is_physical_attribute(?Entity) is nondet
- True iff Entity is an instance of dul:'PhysicalAttribute'.
- Arguments:
-
- is_social_attribute(?Entity) is nondet
- True iff Entity is an instance of dul:'SocialAttribute'.
- Arguments:
-
- is_time_interval(?Entity) is nondet
- True iff Entity is an instance of dul:'TimeInterval'.
- Arguments:
-
- has_region(?Entity, ?Region) is nondet
- A relation between entities and regions, e.g.
- 'the number of wheels of that truck is 12',
- 'the time of the experiment is August 9th, 2004',
- 'the whale has been localized at 34 degrees E, 20 degrees S'.
@param Entity An entity IRI.
@param Region An region IRI.
- has_parameter(?Entity, ?Param) is nondet
- A Concept can have a Parameter that constrains the attributes
that a classified Entity can have in a certain Situation,
e.g. a WheelDriver Role definedIn the ItalianTrafficLaw has
a MinimumAge parameter on the Amount 16.
- Arguments:
-
Entity | - An entity IRI. |
Param | - An parameter IRI. |
- has_parameter(?Entity, ?Param, ?ParamType) is nondet
- Same as has_parameter/2 but in addition unifies the
type of the parameter with the third argument.
- Arguments:
-
Entity | - entity IRI. |
Param | - parameter IRI. |
Param | - parameter type IRI. |
- has_parameter_range(?Entity, ?Param, ?Range) is nondet
- Same as has_parameter/2 but in addition unifies the
range of the parameter with the third argument.
- Arguments:
-
Entity | - entity IRI. |
Param | - parameter IRI. |
Range | - parameter range IRI. |
- has_assignment(?Param, ?Region) is nondet
- Associates a parameter to an assignment.
- Arguments:
-
Param | - parameter IRI. |
Region | - region IRI. |
- has_data_value(?Entity, ?DataValue) is nondet
- A datatype property that encodes values from a datatype for an Entity.
- Arguments:
-
Entity | - entity IRI. |
DataValue | - typed data value. |
- has_time_interval(+Entity, ?Interval) is semidet
- is_description(?Entity) is nondet
- True iff Entity is an instance of dul:'Description'.
- Arguments:
-
- is_situation(?Entity) is nondet
- True iff Entity is an instance of dul:'Situation'.
- Arguments:
-
- is_goal(?Entity) is nondet
- True iff Entity is an instance of dul:'Goal'.
- Arguments:
-
- is_design(?Entity) is nondet
- True iff Entity is an instance of dul:'Design'.
- Arguments:
-
- is_diagnosis(?Entity) is nondet
- True iff Entity is an instance of dul:'Diagnosis'.
- Arguments:
-
- is_plan(?Entity) is nondet
- True iff Entity is an instance of dul:'Plan'.
- Arguments:
-
- is_plan_execution(?Entity) is nondet
- True iff Entity is an instance of dul:'PlanExecution'.
- Arguments:
-
- is_norm(?Entity) is nondet
- True iff Entity is an instance of dul:'Norm'.
- Arguments:
-
- is_transition(?Entity) is nondet
- True iff Entity is an instance of dul:'Transition'.
- Arguments:
-
- plan_has_goal(?Plan, ?Goal) is nondet
- Relates a plan to its goal.
- Arguments:
-
Plan | - An individual of type dul:'Plan'. |
Goal | - An individual of type dul:'Description'. |
- satisfies(?Sit, ?Descr) is nondet
- A relation between a Situation and a Description,
e.g. the execution of a Plan satisfies that plan.
- Arguments:
-
Sit | - An individual of type dul:'Situation'. |
Descr | - An individual of type dul:'Description'. |
- is_setting_for(+Sit, +Entity) is nondet
- A relation between situations and entities, e.g.
'this morning I've prepared my coffee with a new fantastic Arabica',
i.e.: the preparation of my coffee this morning is the setting
for (an amount of) a new fantastic Arabica.
- Arguments:
-
Sit | - An individual of type dul:'Situation'. |
Entity | - A named individual. |
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- has_task_role(Arg1, Arg2)
- has_participant(Arg1, Arg2)