Submissions:EventCore/freshProp1
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 1: | Line 1: | ||
{{Content OP Element | {{Content OP Element | ||
|Name=freshProp1 | |Name=freshProp1 | ||
| - | |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). | + | |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: | The rule is translated into two axioms: | ||
Current revision
freshProp1 has Category:OntologyElement and is an element of EventCore
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
