ISO 18629-11 pdf download – ISO 18629-11 pdf lndustrial automation systems and integration – Process specification language 一 Part 11:PSL core.
— primitive categories:
— individuals;
— primitive relations;
— primitive functions.
NOTE In logic, primitive concepts arc not given formal detinitions within an ontology.
6.2.1 Primitive categories of the PSL-Core
The primitive categories are presented here with infonnal descriptions. 6.2.1.1 activity
The KIF notation for activity is (activity ?a)
The informal description for activity is
(activity ?a) is TRUE in an interpretation of PSL-Corc if and only if ?a is a member of the set of activities in the universe of discourse of the interpretation.
6.2.1.2 activity_occurrence
The KIF notation for activity_occurrence is:
(activity_occurrence ?occ)
The informal description for activity occurrence is:
(activity_occurrence ?occ) is TRUE in an interpretation of PSL-Core if and only if ?occ is a member of the set of activity occurrences in the universe of discourse of the interpretation. An activity occurrence is associated with a unique activity and begins and ends at specific points in time.
NOTE An activity occurrence is not an instance of an activity. Although there may exist activities that have no activity occurrence, all activity occurrences must be associated with an activity
EXAMPLE: The activity denoted by the term (paint 1-lousel Paintcanl) is an instance of the class of Painting activities:
(Painting (paint Housel Paintcanl))
There may be multiple distinct occurrences of this instance:
(occurrence_ofOcel (paint Housel Paintcanl))
(occurrence of ?occ ?a) is TRUE in an interpretation of PSL-Core if and only if ?occ is a particular occurrence of the activity ?a. occurrence_of is the basic relation between activities and activity occurrences. Every activity occurrence is associated with a unique activity. An activity may have no occurrences or multiple occurrences.
6.2.3.3 participates_in
The KIF notation for participates_in is:
(participates in ‘x ?occ ?t)
The informal description for participates_in is:
(participates_in ?x 9occ ?t) is TRUE in an interpretation of PSL-Core if and only if ‘x plays some role that is not pre-specilied in an occurrence of the activity occurrence ?occ at the timepoint ?t in the interpretation. An object can participate in an activity occurrence only at those timepoints at which both the object exists and the activity is occurring.
6.2.4 PrimitIe functions of the PSI-Core
6.2.4.1 heginof
The KIF notation for beginof is:
(beginof?x)
The informal description for beginof is:
The domain of the beginof function is the set of activity occurrences and objects.
If ?x is an activity occurence in the universe of discourse of an interpretation of PSL-Core, then (beginof?x) has the value t if and only if t is the timepoint at which the activity occurrence ?x begins.
EXAMPLE (— 10 (beginof milling_occurrence)) where milling occurrence begins at timepoint 10.
If?x is an object in the universe of discourse of an interpretation of PSL-Core, then (beginof!x) has the value x if and only if t is the timepoint at which the object ?x becomes possible to participate in an activity.
EXAMPLE (= 15 (beginof screw)) where the object screw can participate in an activity at timepoint IS.
6.2.4.2 endof
The KIF notation for endof is:
(endof?x)
The informal description for endof is
The domain of the endof function is the set of activity occurrences and objects.
ISO 18629-11 pdf download – ISO 18629-11 pdf lndustrial automation systems and integration – Process specification language 一 Part 11:PSL core
