Submissions:DisjointnessOfComplement (DOC)

From Odp

(Difference between revisions)
Jump to: navigation, search
m (Review has been assigned.)
(Review has been created. Annotation 'assigned' has been removed.)
Line 24: Line 24:
|Event=WOP2009:Main
|Event=WOP2009:Main
}}
}}
-
[[Category:Review assigned]]
+
 
[[Category:Review assigned]]
[[Category:Review assigned]]

Revision as of 12:18, 10 September 2009


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: 5789


General information

Name DisjointnessOfComplement (DOC)
Also known as
Author(s)
SubmittedBy CatherineRoussey, OscarCorcho


Description

Motivation We have identified a set of patterns that are commonly used by domain experts in their DL formalisations and OWL implementations, and that normally result in unsatisfiable classes or modelling errors. As aforementioned all these antipatterns come from a misuse and misunderstanding of DL expressions by ontology developers. Thus they are all Logical AntiPatterns (LAP): they are independent from a specific domain of interest, but dependent on the expressivity of the logical formalism used for the representation.
Aim The ontology developer may want to say that C1 and C2 cannot share instances, instead of defining C1 as the logical negation of C2. Hence it could be more appropriate to state that C1 and C2 are disjoint.
Solution description C1 isEquivalentTo not C2

should be replace by C1 disjointWith C2

Elements
Implementation
Reusable component
Component type


Example

Problem example Salt_Lagoon isEquivalentTo not Fresh_Waters

see concept Laguna_Salada in Hydrontology

Pattern solution example http://www.dia.fi.upm.es/~ocorcho/OWLDebugging/
Consequences


Pattern reference

Origin
Known use
Reference
Related ODP
Used in combination with
Test


Scenarios

Scenarios about DisjointnessOfComplement (DOC)

No scenario is added to this Content OP.

Reviews

Reviews about DisjointnessOfComplement (DOC)
Review article Posted on About revision (current is 5789)
AlessandroAdamou about DisjointnessOfComplement (DOC) 24550838 September 2009 55975,597
MathieuDAquin about DisjointnessOfComplement (DOC) 24550838 September 2009 57165,716
GerdGroener about DisjointnessOfComplement (DOC) 245508510 September 2009 57805,780

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

Other info at evaluation tab


Submission to event

WOP2009:Main

Personal tools
Quality Committee
Content OP publishers