Base Template BeginningEndLocationOfActivity


This is a template for expressing where and when an activity takes place.
BeginningEndLocationOfActivity(a, b, c, d) means that a is an activity, b and c are points in time, and d is a location, and that a takes place at d, starting at b and ending at c.

Roles:
1 hasActivity Activity
2 hasStartTime RepresentationOfGregorianDateAndUtcTime
3 hasEndTime RepresentationOfGregorianDateAndUtcTime
4 hasLocation SpatialLocation?

Axiom:

BeginningEndLocationOfActivity(x1, x2, x3, x4) <-> 
Activity(x1) & 
RepresentationOfGregorianDateAndUtcTime(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
SpatialLocation(x4) & 
BeginningEndOfIndividual(x1, x2, x3) & 
LocationOfActivity(x1, x4) . 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search