|
Last modified date is: 2009-09-10 |
| 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 5800) takes in account the reviews: none
Other info at evaluation tab
|
Submission to event |
|---|
'Ontology Design Patterns'
