Revision as of 20:42, 26 August 2009

Warning!

This is an old revision. Go to current revision

Last modified date is: 2009-08-26

General information

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

Scenarios about NegativePropertyAssertions

No scenario is added to this Content OP.

Reviews about NegativePropertyAssertions

There is no review about this proposal.

Some subquery has no valid condition.

This revision (revision ID 5613) takes in account the reviews: none

	Submission to event WOP2009:Main

@@ Line 28: / Line 28: @@
 }}
 [[Category:Waiting for review]]
+[[Category:Review assigned]]
 [[Category:Review assigned]]