Revision as of 16:13, 31 July 2009

Warning!

This is an old revision. Go to current revision

Last modified date is: 2009-07-31

General information

Name	SynonymOrEquivalence (SOE)
Also known as
Author(s)
SubmittedBy	Catherine Roussey, Oscar Corcho

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. We have categorized them into three groups:
Aim	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.
Solution description	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
Elements
Implementation
Reusable component
Component type

Problem example	Subterranean_Watercourses isEquivalentTo Subterranean_Rivers see Corriente_Subterranea concept in Hydrontology
Pattern solution example	http://www.dia.fi.upm.es/~ocorcho/OWLDebugging/
Consequences

Scenarios about SynonymOrEquivalence (SOE)

No scenario is added to this Content OP.

Reviews about SynonymOrEquivalence (SOE)

There is no review about this proposal.

Some subquery has no valid condition.

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

	Submission to event WOP2009:Main

@@ Line 22: / Line 22: @@
 {{Scenarios about me}}
 {{Reviews about me}}
+{{Submission to event
+|Event=WOP2009:Main
+}}