Submissions:DisjointnessOfComplement (DOC)
From Odp
(Difference between revisions)
m (Review has been assigned.) |
Current revision (08:29, 31 May 2010) (view source) m (Text replace - 'WOP2009:Main' to 'WOP:2009') |
||
| (4 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
{{Logical_OP_Proposal_toolbar}} | {{Logical_OP_Proposal_toolbar}} | ||
| - | {{ | + | {{Graphical representation header}} |
| + | {{Graphical representation}} | ||
{{Logical OP General Template | {{Logical OP General Template | ||
|Name=DisjointnessOfComplement (DOC) | |Name=DisjointnessOfComplement (DOC) | ||
| - | |SubmittedBy=CatherineRoussey, OscarCorcho, | + | |SubmittedBy=CatherineRoussey, OscarCorcho, |
}} | }} | ||
{{Logical OP Description Template | {{Logical OP Description Template | ||
| Line 18: | Line 19: | ||
}} | }} | ||
{{Logical OP Reference Template}} | {{Logical OP Reference Template}} | ||
| - | + | {{Additional information header}} | |
| + | [[Category:Review assigned]] | ||
{{Scenarios about me}} | {{Scenarios about me}} | ||
{{Reviews about me}} | {{Reviews about me}} | ||
| + | {{Modeling issues about me}} | ||
| + | {{My references}} | ||
{{Submission to event | {{Submission to event | ||
| - | |Event= | + | |Event=WOP:2009 |
}} | }} | ||
| - | |||
| - | |||
Current revision
| 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: 9703 |
Graphical representation
Diagram (this article has no graphical representation)
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 |
Additional information
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 9703) |
|---|---|---|
| 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 9703) takes in account the reviews: none
Other info at evaluation tab
Modeling issues
Modeling issues about DisjointnessOfComplement (DOC)
There is no Modeling issue related to this proposal.
References
| Submission to event |
|---|
