Version 3 (modified by mfedorov, 13 years ago) |
---|
Template IndirectPropertyDateAndTime
This is a template for assigning a typed indirect property to an individual when the property value is represented by Date and Time.
IndirectPropertyDateAndTime(a, b, c) means that means that a is a ClassOfIndirectProperty, b a (temporal part of) PossibleIndividual to which the relation applies and c is a RepresentationOfGregorianDateAndUtcTime that represents the value of the Property.
Roles:
1 hasPropertyType ClassOfIndirectProperty
2 hasPropertyPossessor PossibleIndividual
3 valPropertyValue RepresentationOfGregorianDateAndUtcTime
Axiom:
IndirectPropertyDateAndTime(x1,x2,x3) <-> ClassOfIndirectProperty(x1) & PossibleIndividual(x2) & RepresentationOfGregorianDateAndUtcTime(x3) & exists p (Property(p) & InstanceOfIndirectProperty(x1,x2,p) & ClassOfRepresentationOfThingTemplate(x3,p)).
EXAMPLE statement IndirectPropertyDateAndTime(REVIEW DATE, P&ID DIAGRAM R3.1000.ABC, 2010-11-21T06:00)
Attachments
- EventDateAndTime.png (32.9 kB) - added by mfedorov 13 years ago.