EvaBlomqvist (Talk | contribs) m (Review has been assigned.) |
StefanoDavid (Talk | contribs) (Review has been created. Annotation 'assigned' has been removed.) |
||
| Line 30: | Line 30: | ||
| − | + | ||
[[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 5792) takes in account the reviews: none
Other info at evaluation tab
|
Submission to event |
|---|
'Ontology Design Patterns'
