RimDJEDIDI (Talk | contribs) (WOP'09) |
RimDJEDIDI (Talk | contribs) |
||
Line 24: | Line 24: | ||
ID(s) of the classes defining the enlargement. | ID(s) of the classes defining the enlargement. | ||
Operator : Union | Operator : Union | ||
− | |||
}} | }} | ||
{{Logical OP Example Template | {{Logical OP Example Template | ||
Line 31: | Line 30: | ||
{Animal ⊑Fauna-Flora, Plant ⊑Fauna-Flora, Carnivorous-Plant ⊑Plant, Plant ⊑ Not(Animal)} | {Animal ⊑Fauna-Flora, Plant ⊑Fauna-Flora, Carnivorous-Plant ⊑Plant, Plant ⊑ Not(Animal)} | ||
− | If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of class Animal we cause a disjointness inconsistency as the class Carnivorous-Plant and the class Animal are disjointed. The proposed pattern propose a resolution alternative to this kind of inconsistency | + | If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of class Animal we cause a disjointness inconsistency as the class Carnivorous-Plant and the class Animal are disjointed. The proposed pattern propose a resolution alternative to this kind of inconsistency |
|Consequences=Enlarge the definition of the class Carnivorous-Plant based on the definition of the classes Animal and Plant. | |Consequences=Enlarge the definition of the class Carnivorous-Plant based on the definition of the classes Animal and Plant. | ||
1) The pattern enlarges the definition of the sub-class object of the disjointness inconsistency Carnivorous-Plant by defining –in its description– a union of the definitions of the disjoint classes involved in the inconsistency: the classes Animal and Plant. | 1) The pattern enlarges the definition of the sub-class object of the disjointness inconsistency Carnivorous-Plant by defining –in its description– a union of the definitions of the disjoint classes involved in the inconsistency: the classes Animal and Plant. | ||
Line 39: | Line 38: | ||
{{Scenarios about me}} | {{Scenarios about me}} | ||
{{Reviews about me}} | {{Reviews about me}} | ||
+ | {{Submission to event | ||
+ | |Event=WOP2009:Main | ||
+ | }} |
Name | Enlarge Class Definition for Resolving Disjointness due to Subsomption. |
---|---|
Also known as | |
Author(s) | Rim DJEDIDI |
SubmittedBy | RimDjedidi |
Motivation | Problem:
Resolve disjointness –caused by a subsumption– by enlarging a class definition. Competency Question: How to resolve disjointness –caused by a subsumption– by enlarging a definition of a class? |
---|---|
Aim | The logical pattern models an alternative resolving disjointness inconsistency –caused by a subsumption– by enlarging the definition of a class. |
Solution description | The pattern resolves a disjointness inconsistency –caused by a subsumption–by enlarging the definition of the sub-class object of the disjointness inconsistency, based on the definition of disjoint classes involved in the inconsistency.
Process: 1) The pattern enlarges the definition of the sub-class object of the disjointness inconsistency by defining –in its description– a union of the definitions of the disjoint classes involved in the inconsistency to be resolved. |
Elements | the following elements are manipulated y the pattern:
ID of the class to enlarge (classID). ID(s) of the classes defining the enlargement. Operator : Union |
Implementation | |
Reusable component | |
Component type |
Problem example | Let’s consider the OWL ontology O defined by the following axioms:
{Animal ⊑Fauna-Flora, Plant ⊑Fauna-Flora, Carnivorous-Plant ⊑Plant, Plant ⊑ Not(Animal)} If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of class Animal we cause a disjointness inconsistency as the class Carnivorous-Plant and the class Animal are disjointed. The proposed pattern propose a resolution alternative to this kind of inconsistency |
---|---|
Pattern solution example | |
Consequences | Enlarge the definition of the class Carnivorous-Plant based on the definition of the classes Animal and Plant.
1) The pattern enlarges the definition of the sub-class object of the disjointness inconsistency Carnivorous-Plant by defining –in its description– a union of the definitions of the disjoint classes involved in the inconsistency: the classes Animal and Plant. |
Origin | |
---|---|
Known use | |
Reference | |
Related ODP | |
Used in combination with | |
Test |
No scenario is added to this Content OP.
This revision (revision ID 5581) takes in account the reviews: none
Other info at evaluation tab
![]() |
Submission to event |
---|