EvaBlomqvist (Talk | contribs) m (Review has been assigned.) |
EnricoDaga (Talk | contribs) m (Text replace - 'WOP2009:Main' to 'WOP:2009') |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Logical_OP_Proposal_toolbar}} | {{Logical_OP_Proposal_toolbar}} | ||
− | {{ | + | {{Graphical representation header}} |
+ | {{Graphical representation | ||
|ImageName=[[Image:AntipatternSOE.jpg]] | |ImageName=[[Image:AntipatternSOE.jpg]] | ||
}} | }} | ||
Line 19: | Line 20: | ||
}} | }} | ||
{{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 |
}} | }} | ||
− | |||
− | |||
− |
Diagram (this article has no graphical representation)
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 |
Origin | |
---|---|
Known use | |
Reference | |
Related ODP | |
Used in combination with | |
Test |
No scenario is added to this Content OP.
This revision (revision ID 9708) takes in account the reviews: none
Other info at evaluation tab
![]() |
Submission to event |
---|