(Review has been created. Annotation 'assigned' has been removed. Annotation 'waiting' has been removed.) |
EvaBlomqvist (Talk | contribs) m (Review has been assigned.) |
||
| Line 30: | Line 30: | ||
| + | [[Category:Review assigned]] | ||
[[Category:Review assigned]] | [[Category:Review assigned]] | ||
|
Last modified date is: 2009-09-10 |
| Name | NegativePropertyAssertions |
|---|---|
| Also known as | |
| Author(s) | |
| SubmittedBy | OlafNoppens |
| Motivation | Prior to OWL 2 negative property assertions (NPA) are difficult to model and, if it they are contained in an ontology, difficult to understand by humans. On the other side, using OWL 2 one can transform these helping axioms modeling NPAs into OWL2 NPA axiom.
This pattern describe NPA for ontologies not containing explicit NPA axioms as syntactical sugars and allows for transforming axioms into OWL NPA axioms. |
|---|---|
| Aim | Expressing NPAs in ontologies prior to OWL 2 as well as given an transformation rule when using OWL 2. |
| Solution description | NegativeObjectPropertyAssertion(i1 prop i2) is equivalent to:
SubClassOf(ObjectOneOf(i1), ObjectComplementOf(ObjectSomeValuesFrom(prop, ObjectOneOf(i2))))) |
| Elements | Individiual i1
Individual i2 ObjectProperty prop |
| Implementation | |
| Reusable component | |
| Component type |
| Problem example | |
|---|---|
| Pattern solution example | |
| Consequences |
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
No scenario is added to this Content OP.
This revision (revision ID 5778) takes in account the reviews: none
Other info at evaluation tab
|
Submission to event |
|---|
'Ontology Design Patterns'
