Submissions:EventCore/freshProp1

From Odp

< Submissions:EventCore
Revision as of 18:59, 16 July 2016 by ValentinaPresutti (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

freshProp1 has Category:OntologyElement and is an element of EventCore


ObjectProperty

Name: freshProp1

Type: owl:ObjectProperty

Description: This property is artificially generated in order to express the following rule in OWL:  :Event(?x) ^ :providesParticipantRole(?x,?p) ^ :subEventOf(?x,?y) -> :providesParticipantRole(?y,?p).

The rule is translated into two axioms:

1. :Event SubClassOf: :freshProp1 some Self

2. inverse (:subEventOf) o :freshProp1 o :providesParticipantRole SubPropertyOf: : :providesParticipantRole

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