Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption

From Odp

(Difference between revisions)
Jump to: navigation, search
Line 17: Line 17:
1) The pattern defines a hybrid class as a union of the definitions of the disjoint classes involved in the inconsistency to be resolved;  
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;
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.
+
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:
|Elements=The following elements are manipulated by the pattern:
ID of the sub-class (sub_classID).
ID of the sub-class (sub_classID).

Revision as of 18:09, 21 August 2009


This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the

evaluation section

If you are author of this proposal or you want to contribute to this pattern's review, you can:

In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal

Current revision ID: 5577

Image:Djedidi LOP1 WOP09.pdf

General information

Name Define Hybrid Class Resolving Disjointness due to Subsomption
Also known as
Author(s) Rim Djedidi
SubmittedBy RimDjedidi


Description

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


Example

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.


Pattern reference

Origin
Known use
Reference
Related ODP
Used in combination with
Test


Scenarios

Scenarios about Define Hybrid Class Resolving Disjointness due to Subsumption

No scenario is added to this Content OP.

Reviews

Reviews about Define Hybrid Class Resolving Disjointness due to Subsumption
Review article Posted on About revision (current is 5577)
BorisVillazón-Terrazas about Define Hybrid Class Resolving Disjointness due to Subsomption 24550849 September 2009 56275,627
WimPeters about Define Hybrid Class Resolving Disjointness due to Subsomption 24550849 September 2009 57535,753
RinkeHoekstra about Define Hybrid Class Resolving Disjointness due to Subsumption 245513025 October 2009 58675,867
RinkeHoekstra about Define Hybrid Class Resolving Disjointness due to Subsumption 2 245513025 October 2009 58675,867

This revision (revision ID 5577) takes in account the reviews: none

Other info at evaluation tab

Personal tools
Quality Committee
Content OP publishers