Submissions:NegativePropertyAssertions

From Odp

Revision as of 16:29, 9 September 2009 by ValentinaPresutti (Talk | contribs)
Jump to: navigation, search


This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the

evaluation section

If you are author of this proposal or you want to contribute to this pattern's review, you can:

In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal

Current revision ID: 5769


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 5769)
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 5769) takes in account the reviews: none

Other info at evaluation tab


Submission to event

WOP2009:Main

Personal tools
Quality Committee
Content OP publishers