RimDJEDIDI (Talk | contribs) |
EvaBlomqvist (Talk | contribs) m (Review has been assigned.) |
||
| Line 46: | Line 46: | ||
|Event=WOP2009:Main | |Event=WOP2009:Main | ||
}} | }} | ||
| + | [[Category:Review assigned]] | ||
|
Last modified date is: 2009-08-26 |
| 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? |
|---|---|
| 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 object of the disjointness inconsistency. |
| 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 which is the sub-class object of the disjointness inconsistency. |
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
No scenario is added to this Content OP.
This revision (revision ID 5610) takes in account the reviews: none
Other info at evaluation tab
|
Submission to event |
|---|
'Ontology Design Patterns'
