Submissions:EventCore/subSpatioTemporalExtentOf
From Odp
< Submissions:EventCore(Difference between revisions)
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)
