Browse wiki

From Odp

Jump to: navigation, search
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 +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers