Submissions:EventCore/subSpatioTemporalExtentOf
From Odp
< Submissions:EventCore(Difference between revisions)
(Imported from OWL file.) |
Current revision (18:50, 16 July 2016) (view source) (Imported from OWL file.) |
Current revision
subSpatioTemporalExtentOf has Category:OntologyElement and is an element of EventCore
Name: subSpatioTemporalExtentOf
Type: owl:ObjectProperty
Description: Property indicating partonomic relation between two spatiotemporal extents. The Event pattern only assumes that this is given by the spatiotemporal extent pattern actually used. Thus, domain and range are not explicitly stated and this property is included in axioms resulted by OWL translation of the following rule: :Event(?x) ^ :hasSpatioTemporalExtent(?x,?w) ^ :subEventOf(?x,?y) ^ :Event(?y) ^ :hasSpatioTemporalExtent(?y,?z) -> :subSpatioTemporalExtentOf(?w,?z)