| LogicalODPAim
|
The ontology developer wants to express th … The ontology developer wants to express that two classes C1 and C2 are identical. This is not very useful in a single ontology that does not import others. Indeed, what the ontology developer generally wants to represent is a terminological synonymy relation: the class C1 has two labels: C1 and C2. Usually one of the classes is not used anywhere else in the axioms defined in the ontology. lse in the axioms defined in the ontology.
|
| LogicalODPDescription
|
C1 isEquivalentTo C2
The proposal for avoiding this antipattern is the following (if C2 is the less used term in the ontology) add all the comments and labels of C2 into C1 and remove 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. We have categorized them into three groups: e have categorized them into three groups:
|
| LogicalODPName
|
SynonymOrEquivalence (SOE) +
|
| LogicalODPSample
|
http://www.dia.fi.upm.es/~ocorcho/OWLDebugging/ +
|
| LogicalODPScenario
|
Subterranean_Watercourses isEquivalentTo Subterranean_Rivers
see Corriente_Subterranea concept in Hydrontology
|
| Modification dateThis property is a special property in this wiki.
|
31 May 2010 08:30:20 +
|
| SubmittedBy
|
Catherine Roussey +,
Oscar Corcho +
|
| SubmittedToEvent
|
2009 +
|
| Categories |
LogicalOP +,
ProposedLogicalOP +,
Review assigned +,
Submitted to event +
|
