Browse wiki
From Odp
| Submissions:EventCore/freshProp1 |
| Description | This property is artificially generated in … 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 SubPropertyOf: : :providesParticipantRole |
|---|---|
| ElementOf | EventCore + |
| ElementType | owl:ObjectProperty + |
| Modification dateThis property is a special property in this wiki. | 16 July 2016 18:50:52 + |
| Name | freshProp1 + |
| Categories | OntologyElement + |
| hide properties that link here |
| EventCore + | HasElement |
|---|
