Submissions:NegativePropertyAssertions
From Odp
| If you are a member of quality committee please visit the
If you are author of this proposal or you want to contribute to this pattern's review, you can: specify if this revision takes in account any of the review(s) In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal Current revision ID: 5889 |
General information
| Name | NegativePropertyAssertions |
|---|---|
| Also known as | |
| Author(s) | |
| SubmittedBy | OlafNoppens |
Description
| Motivation | The motivation of this pattern is to model negative property assertions (NPAs) in ontology languages such as OWL 1 [1] that do not provide a special constructor for expressing it. It is worth mentioning that not all knowledge base systems can be migrated to OWL 2 [2] for several reasons. On the other hand, NPAs modeled according to this pattern can be migrated to OWL 2 using the newly introduced constructor.
A negative property assertion as defined in the upcoming OWL 2 states that a given individual i is never connected to a given individual j by a given property expression P. In other words, asserting that i is connected to j by P results in an inconsistent ontology. In this sense this assertion can be considered as a constraint that should not be violated. In contrast, considering an ontology where it cannot be inferred that i is connected to j by P does not necessarily mean that there cannot be such a connection - in fact, it is merely not modeled.
[2] Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Structural Specification and Functional-Style Syntax. W3C Candidate Recommendation 11 June 2009, 2009. |
|---|---|
| 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 |
Example
| Problem example | |
|---|---|
| Pattern solution example | |
| Consequences |
Pattern reference
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
Scenarios
No scenario is added to this Content OP.
Reviews
| Review article | Posted on | About revision (current is 5889) |
|---|---|---|
| ValentinaPresutti about NegativePropertyAssertions | 24550849 September 2009 | 57695,769 |
| StefanoDavid about NegativePropertyAssertions | 245508510 September 2009 | 57785,778 |
| RinkeHoekstra about NegativePropertyAssertions | 245512924 October 2009 | 59035,903 |
This revision (revision ID 5889) takes in account the reviews: none
Other info at evaluation tab
| Submission to event |
|---|
