Submissions:EventCore/freshProp2
From Odp
< Submissions:EventCore(Difference between revisions)
(Imported from OWL file.) |
Current revision (18:59, 16 July 2016) (view source) (Imported from OWL file.) |
||
| Line 2: | Line 2: | ||
|Name=freshProp2 | |Name=freshProp2 | ||
|Description=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). | |Description=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: | The rule is translated into two axioms: | ||
Current revision
freshProp2 has Category:OntologyElement and is an element of EventCore
Name: freshProp2
Type: owl:ObjectProperty
Description: 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
