(Imported from OWL file.) |
(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: | ||
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
'Ontology Design Patterns'