From Odp

Jump to: navigation, search

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)

Personal tools
Quality Committee
Content OP publishers