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 | ||
| + | }} | ||
|
Last modified date is: 2009-08-21 |
| 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 |
|---|
'Ontology Design Patterns'