RimDJEDIDI (Talk | contribs) (this logical pattern is proposed as an ontology change alternative to resolve a disjointness inconsistency due a subsumption) |
RimDJEDIDI (Talk | contribs) (Wop'09) |
||
| Line 5: | Line 5: | ||
{{Logical OP General Template | {{Logical OP General Template | ||
|Name=Define Hybrid Class Resolving Disjointness due to Subsomption | |Name=Define Hybrid Class Resolving Disjointness due to Subsomption | ||
| − | |SubmittedBy=RimDjedidi | + | |SubmittedBy=RimDjedidi |
| − | |Author=Rim Djedidi | + | |Author=Rim Djedidi |
| + | }} | ||
| + | {{Logical OP Description Template | ||
| + | |Motivation=Problem : Resolve disjointness –caused by a subsumption– by defining a hybrid class. | ||
| + | |||
| + | Competency Question : How to resolve disjointness –caused by a subsumption– by defining a hybrid class while maintaining the semantic of existing knowledge? Is there any precondition on the application of this resolution alternative? | ||
| + | |Aim=The logical pattern models an alternative resolving disjointness inconsistency –caused by a subsumption– by creating a hybrid class. | ||
| + | |Solution=The pattern resolves a disjointness inconsistency –caused by a subsumption– by defining a hybrid class based on the definition of disjoint classes involved in the inconsistency; and redistributing correctly sub-class relations between classes implicated in the inconsistency. | ||
| + | Process: | ||
| + | 1) The pattern defines a hybrid class as a union of the definitions of the disjoint classes involved in the inconsistency to be resolved; | ||
| + | 2) The pattern defines a subsumption between the most specific common super-class of the disjoint classes involved in the inconsistency and the hybrid class created; | ||
| + | 3) The pattern defines a subsumption between the hybrid class and the sub-class on which the change causing the inconsistency is applied. | ||
| + | |Elements=The following elements are manipulated by the pattern: | ||
| + | ID of the sub-class (sub_classID). | ||
| + | ID of the first disjoint class (ClsDisj1ID). | ||
| + | ID of the second disjoint class (ClsDisj2ID). | ||
| + | ID of the most specific common super-class of the disjoint classes involved (Common_super_classID). | ||
| + | }} | ||
| + | {{Logical OP Example Template | ||
| + | |ProblemExample=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 | ||
| + | |||
| + | |Consequences=Define a hybrid class Animal_Plant based on the definition of the two disjoint classes involved in the inconsistency: Animal and Plant. | ||
| + | Then, create a sub-class relation between the hybrid class created and a common super-class of the classes Animal and Plant. | ||
| + | And finally, substitute the sub-class relation between the classes Animal and Carnivorous-Plant by a subsumption between the classes Carnivorous-Plant and Animal_Plant. | ||
| + | |||
| + | Process: | ||
| + | 1) The pattern defines a class Animal_Plant as a union of the definitions of the disjoint classes Animal and Plant; | ||
| + | 2) The pattern defines a subsumption between the most specific common super-class of the disjoint classes Fauna-Flora and the hybrid class created Animal_Plant; | ||
| + | 3) The pattern defines a subsumption between the hybrid class Animal_Plant and the sub-class Carnivorous-Plant on which the change causing the inconsistency is applied. | ||
| + | |||
| + | |||
}} | }} | ||
| − | |||
| − | |||
{{Logical OP Reference Template}} | {{Logical OP Reference Template}} | ||
{{Scenarios about me}} | {{Scenarios about me}} | ||
{{Reviews about me}} | {{Reviews about me}} | ||
|
Last modified date is: 2009-08-21 |
| Name | Define Hybrid Class Resolving Disjointness due to Subsomption |
|---|---|
| Also known as | |
| Author(s) | Rim Djedidi |
| SubmittedBy | RimDjedidi |
| Motivation | Problem : Resolve disjointness –caused by a subsumption– by defining a hybrid class.
Competency Question : How to resolve disjointness –caused by a subsumption– by defining a hybrid class while maintaining the semantic of existing knowledge? Is there any precondition on the application of this resolution alternative? |
|---|---|
| Aim | The logical pattern models an alternative resolving disjointness inconsistency –caused by a subsumption– by creating a hybrid class. |
| Solution description | The pattern resolves a disjointness inconsistency –caused by a subsumption– by defining a hybrid class based on the definition of disjoint classes involved in the inconsistency; and redistributing correctly sub-class relations between classes implicated in the inconsistency.
Process: 1) The pattern defines a hybrid class as a union of the definitions of the disjoint classes involved in the inconsistency to be resolved; 2) The pattern defines a subsumption between the most specific common super-class of the disjoint classes involved in the inconsistency and the hybrid class created; 3) The pattern defines a subsumption between the hybrid class and the sub-class on which the change causing the inconsistency is applied. |
| Elements | The following elements are manipulated by the pattern:
ID of the sub-class (sub_classID). ID of the first disjoint class (ClsDisj1ID). ID of the second disjoint class (ClsDisj2ID). ID of the most specific common super-class of the disjoint classes involved (Common_super_classID). |
| 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 | Define a hybrid class Animal_Plant based on the definition of the two disjoint classes involved in the inconsistency: Animal and Plant.
Then, create a sub-class relation between the hybrid class created and a common super-class of the classes Animal and Plant. And finally, substitute the sub-class relation between the classes Animal and Carnivorous-Plant by a subsumption between the classes Carnivorous-Plant and Animal_Plant. Process: 1) The pattern defines a class Animal_Plant as a union of the definitions of the disjoint classes Animal and Plant; 2) The pattern defines a subsumption between the most specific common super-class of the disjoint classes Fauna-Flora and the hybrid class created Animal_Plant; 3) The pattern defines a subsumption between the hybrid class Animal_Plant and the sub-class Carnivorous-Plant on which the change causing the inconsistency is applied. |
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
No scenario is added to this Content OP.
This revision (revision ID 5573) takes in account the reviews: none
Other info at evaluation tab
'Ontology Design Patterns'
