Submissions:NegativePropertyAssertions
From Odp
(Difference between revisions)
m (Article is waiting for review.) |
|||
| Line 27: | Line 27: | ||
|Event=WOP2009:Main | |Event=WOP2009:Main | ||
}} | }} | ||
| + | [[Category:Waiting for review]] | ||
Revision as of 16:23, 21 August 2009
| 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: 5570 |
General information
| Name | NegativePropertyAssertions |
|---|---|
| Also known as | |
| Author(s) | |
| SubmittedBy | OlafNoppens |
Description
| 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 |
Example
| Problem example | |
|---|---|
| Pattern solution example | |
| Consequences |
Pattern reference
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
Scenarios
Scenarios about NegativePropertyAssertions
No scenario is added to this Content OP.
Reviews
Reviews about NegativePropertyAssertions
| Review article | Posted on | About revision (current is 5570) |
|---|---|---|
| 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 5570) takes in account the reviews: none
Other info at evaluation tab
| Submission to event |
|---|
