Browse wiki

From Odp

Jump to: navigation, search
Description This property is artificially generated in This property is artificially generated in order to express the following rule in OWL: :Event(?x) ^ :hasSpatioTemporalExtent(?x,?w) ^ :subEventOf(?x,?y) ^ :Event(?y) ^ :hasSpatioTemporalExtent(?y,?z) -> :subSpatioTemporalExtentOf(?w,?z). The rule is translated into two axioms: 1. :Event SubClassOf: :freshProp2 some Self 2. inverse (:hasSpatioTemporalExtent) o :freshProp2 o :subEventOf o :freshProp2 o :hasSpatioTemporalExtent SubPropertyOf: :subSpatioTemporalExtentOf SubPropertyOf: :subSpatioTemporalExtentOf
ElementOf EventCore +
ElementType owl:ObjectProperty  +
Modification dateThis property is a special property in this wiki. 16 July 2016 18:50:52  +
Name freshProp2  +
Categories OntologyElement +
hide properties that link here 
EventCore + HasElement


Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers