Submissions:EventCore/freshProp2

From Odp

(Difference between revisions)
Jump to: navigation, search

ValentinaPresutti (Talk | contribs)
(Imported from OWL file.)
Next diff →

Revision as of 18:50, 16 July 2016

freshProp2 has Category:OntologyElement and is an element of EventCore


ObjectProperty

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

Retrieved from "http://ontologydesignpatterns.org/wiki/Submissions:EventCore/freshProp2"
Personal tools
Quality Committee
Content OP publishers