Browse wiki
From Odp
| Submissions:DisjointnessOfComplement (DOC) |
| LogicalODPAim | 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. |
|---|---|
| LogicalODPDescription | C1 isEquivalentTo not C2 should be replace by C1 disjointWith C2 |
| LogicalODPMotivation | We have identified a set of patterns that … 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. cal formalism used for the representation. |
| LogicalODPName | DisjointnessOfComplement (DOC) + |
| LogicalODPSample | http://www.dia.fi.upm.es/~ocorcho/OWLDebugging/ + |
| LogicalODPScenario | Salt_Lagoon isEquivalentTo not Fresh_Waters see concept Laguna_Salada in Hydrontology |
| Modification dateThis property is a special property in this wiki. | 31 May 2010 08:29:16 + |
| SubmittedBy | CatherineRoussey +, OscarCorcho + |
| SubmittedToEvent | 2009 + |
| Categories | LogicalOP +, ProposedLogicalOP +, Review assigned +, Submitted to event + |
| show properties that link here |
