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:
Entity- An entity IRI.
 is_quality(?Entity) is nondet
True iff Entity is an instance of dul:'Quality'.
Arguments:
Entity- An entity IRI.
 is_concept(?Entity) is nondet
True iff Entity is an instance of dul:'Concept'.
Arguments:
Entity- An entity IRI.
 is_role(?Entity) is nondet
True iff Entity is an instance of dul:'Role'.
Arguments:
Entity- An entity IRI.
 is_agent(?Entity) is nondet
True iff Entity is an instance of dul:'Agent'.
Arguments:
Entity- An entity IRI.
 is_physical_object(?Entity) is nondet
True iff Entity is an instance of dul:'PhysicalObject'.
Arguments:
Entity- An entity IRI.
 is_physical_artifact(?Entity) is nondet
True iff Entity is an instance of dul:'PhysicalArtifact'.
Arguments:
Entity- An entity IRI.
 is_social_object(?Entity) is nondet
True iff Entity is an instance of dul:'SocialObject'.
Arguments:
Entity- An entity IRI.
 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.
 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:
Entity- An entity IRI.
 is_event_type(?Entity) is nondet
True iff Entity is an instance of dul:'EventType'.
Arguments:
Entity- An entity IRI.
 is_action(?Entity) is nondet
True iff Entity is an instance of dul:'Action'.
Arguments:
Entity- An entity IRI.
 is_task(?Entity) is nondet
True iff Entity is an instance of dul:'Task'.
Arguments:
Entity- An entity IRI.
 is_process(?Entity) is nondet
True iff Entity is an instance of dul:'Process'.
Arguments:
Entity- An entity IRI.
 has_participant(+Evt, ?Participant, ?Class) is nondet
A relation between an object and a process, e.g.
 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:
Entity- An entity IRI.
 is_parameter(?Entity) is nondet
True iff Entity is an instance of dul:'Parameter'.
Arguments:
Entity- An entity IRI.
 is_space_region(?Entity) is nondet
True iff Entity is an instance of dul:'SpaceRegion'.
Arguments:
Entity- An entity IRI.
 is_amount(?Entity) is nondet
True iff Entity is an instance of dul:'Amount'.
Arguments:
Entity- An entity IRI.
 is_physical_attribute(?Entity) is nondet
True iff Entity is an instance of dul:'PhysicalAttribute'.
Arguments:
Entity- An entity IRI.
 is_social_attribute(?Entity) is nondet
True iff Entity is an instance of dul:'SocialAttribute'.
Arguments:
Entity- An entity IRI.
 is_time_interval(?Entity) is nondet
True iff Entity is an instance of dul:'TimeInterval'.
Arguments:
Entity- An entity IRI.
 has_region(?Entity, ?Region) is nondet
A relation between entities and regions, e.g.
 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:
Entity- An entity IRI.
 is_situation(?Entity) is nondet
True iff Entity is an instance of dul:'Situation'.
Arguments:
Entity- An entity IRI.
 is_goal(?Entity) is nondet
True iff Entity is an instance of dul:'Goal'.
Arguments:
Entity- An entity IRI.
 is_design(?Entity) is nondet
True iff Entity is an instance of dul:'Design'.
Arguments:
Entity- An entity IRI.
 is_diagnosis(?Entity) is nondet
True iff Entity is an instance of dul:'Diagnosis'.
Arguments:
Entity- An entity IRI.
 is_plan(?Entity) is nondet
True iff Entity is an instance of dul:'Plan'.
Arguments:
Entity- An entity IRI.
 is_plan_execution(?Entity) is nondet
True iff Entity is an instance of dul:'PlanExecution'.
Arguments:
Entity- An entity IRI.
 is_norm(?Entity) is nondet
True iff Entity is an instance of dul:'Norm'.
Arguments:
Entity- An entity IRI.
 is_transition(?Entity) is nondet
True iff Entity is an instance of dul:'Transition'.
Arguments:
Entity- An entity IRI.
 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)