Submissions:NegativePropertyAssertions Revision as of 17:51, 9 September 2009 by ValentinaPresutti (Talk | contribs) (Review has been created. Annotation 'assigned' has been removed. Annotation 'waiting' has been removed.) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Warning!

This is an old revision. Go to current revision

This pattern has been certified.

Related submission, with evaluation history, can be found here

Last modified date is: 2009-09-09

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

There is no review about this proposal.

Some subquery has no valid condition.

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

Other info at evaluation tab

	Submission to event WOP2009:Main