Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption - Revision history

EnricoDaga: Text replace - 'WOP2009:Main' to 'WOP:2009'

2010-05-31T08:29:10Z

Text replace - 'WOP2009:Main' to 'WOP:2009'

EnricoDaga at 13:04, 3 March 2010

2010-03-03T13:04:20Z

EnricoDaga: Text replace - '{{Reviews about me}}' to '{{Reviews about me}}{{Modeling issues about me}}'

2010-03-01T13:20:51Z

Text replace - '{{Reviews about me}}' to '{{Reviews about me}}{{Modeling issues about me}}'

EnricoDaga: Text replace - 'Include Image' to 'Graphical representation'

2010-03-01T12:35:59Z

Text replace - 'Include Image' to 'Graphical representation'

EvaBlomqvist: Submissions:Define Hybrid Class Resolving Disjointness due to Subsomption moved to Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption: Spelling error in title, move requested by author

2009-09-29T15:28:37Z

Submissions:Define Hybrid Class Resolving Disjointness due to Subsomption moved to Submissions:Define Hybrid Class Resolving Disjointness due to Subsumption: Spelling error in title, move requested by author

RimDJEDIDI at 17:55, 24 September 2009

2009-09-24T17:55:50Z

RimDJEDIDI at 17:52, 24 September 2009

2009-09-24T17:52:32Z

RimDJEDIDI: Solving a problem of disjointness inconsistency caused by a subsumption relation.

2009-09-24T17:27:17Z

Solving a problem of disjointness inconsistency caused by a subsumption relation.

RimDJEDIDI at 00:38, 24 September 2009

2009-09-24T00:38:16Z

RimDJEDIDI at 00:33, 24 September 2009

2009-09-24T00:33:43Z

@@ Line 55: / Line 55: @@
 {{My references}}
 {{Submission to event
-|Event=WOP2009:Main
+|Event=WOP:2009
 }}

@@ Line 1: / Line 1: @@
 {{Logical_OP_Proposal_toolbar}}
 {{Graphical representation
 |ImageName=Djedidi_LOP1_WOP09.pdf
@@ Line 50: / Line 51: @@
 [[Category:Review assigned]]
 {{Scenarios about me}}
-{{Reviews about me}}{{Modeling issues about me}}
+{{Reviews about me}}
 {{Submission to event
 |Event=WOP2009:Main
 }}

@@ Line 50: / Line 50: @@
 [[Category:Review assigned]]
 {{Scenarios about me}}
-{{Reviews about me}}
+{{Reviews about me}}{{Modeling issues about me}}
 {{Submission to event
 |Event=WOP2009:Main
 }}

@@ Line 1: / Line 1: @@
 {{Logical_OP_Proposal_toolbar}}
-{{Include Image
+{{Graphical representation
 |ImageName=Djedidi_LOP1_WOP09.pdf
 }}

@@ Line 26: / Line 26: @@
 The application of the solution can be described by the following process (see diagram in attached file):
 .The pattern defines a Hybrid Class as a union of the definitions of the disjoint classes implicated in the inconsistency to be resolved;
 .The pattern defines a subsumption between the most specific common super-class of the disjoint classes implicated in the inconsistency, and the Hybrid Class created;
 .The pattern defines a subsumption between the Hybrid Class and the sub-class involved in the inconsistency.
@@ Line 43: / Line 43: @@
 If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of the class Animal, we cause a disjointness inconsistency. The proposed pattern resolves this kind of inconsistency.
 |Consequences=The application of the pattern to resolve the example above is performed as follow:
 .The pattern defines a class Animal_Plant as a union of the definitions of the disjoint classes Animal and Plant;
 .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;
 .The pattern defines a subsumption between the defined hybrid class Animal_Plant and the sub-class Carnivorous-Plant involved in the inconsistency.

← Older revision	Revision as of 15:28, 29 September 2009
(No difference)

@@ Line 19: / Line 19: @@
 This pattern tackles the questions of how to resolve the inconsistency caused by such kind of subsumption while preserving existing knowledge.
-.  Völker, J., Vrandecic, D., Sure, Y., Hotho, A.: Learning Disjointness. In F., Enrico, K., Michael, May. Wolfgang (Eds.). Proceedings of the 4th European Semantic Web Conference, ESWC 2007. LNCS: Vol. 4519  pp: 175-189. (2007)
+[1]  Völker, J., Vrandecic, D., Sure, Y., Hotho, A.: Learning Disjointness. In F., Enrico, K., Michael, May. Wolfgang (Eds.). Proceedings of the 4th European Semantic Web Conference, ESWC 2007. LNCS: Vol. 4519  pp: 175-189. (2007)
-−
 |Aim=Intent:   The purpose of this pattern is to support the semantics of a subsumption defined under two disjoint classes and resolve the resulting inconsistency.
 Covered Requirements: The pattern solves a problem of disjointness inconsistency caused by a subsumption relation without deleting the disjointness axiom so that existing knowledge can be preserved.
 |Solution=The pattern resolves a disjointness inconsistency –due to a subsumption–by defining a Hybrid Class based on the definition of disjoint classes implicated in the inconsistency; and redistributing correctly sub-class relations between the sub-class, the hybrid class, and the most specific common super-class of the disjoint classes implicated. The definition of the Hybrid Class is the union (OR) of the definitions of the disjoint classes.
 The application of the solution can be described by the following process (see diagram in attached file):
@@ Line 33: / Line 31: @@
 Consequences:   The application of the pattern resolves the disjointness inconsistency (even if the involved sub-class is instantiated by individuals) and preserves existing knowledge. As a Logical OP, this pattern is independent from a specific domain of interest. However, it depends on the expressivity of the logical formalism used for the representation of the ontology. Therefore, the language of the targeted ontology should allow expressing class union.
 |Elements=The following elements are manipulated by the pattern:
 ID of the sub-class (Sub_Class).
@@ Line 45: / Line 42: @@
 If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of the class Animal, we cause a disjointness inconsistency. The proposed pattern resolves this kind of inconsistency.
 |Consequences=The application of the pattern to resolve the example above is performed as follow:
 .The pattern defines a class Animal_Plant as a union of the definitions of the disjoint classes Animal and Plant;
 .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;
 .The pattern defines a subsumption between the defined hybrid class Animal_Plant and the sub-class Carnivorous-Plant involved in the inconsistency.
 }}
 {{Logical OP Reference Template}}

@@ Line 9: / Line 9: @@
 }}
 {{Logical OP Description Template
-|Motivation=Problem : Resolve disjointness –caused by a subsumption– by defining a hybrid class.
+|Motivation=Problem :
 |Elements=The following elements are manipulated by the pattern:
-ID of the sub-class (sub_classID).
+ID of the sub-class (Sub_Class).
-ID of the first disjoint class (ClsDisj1ID).
+ID of the first disjoint class (Disjoint_Class 1).
-ID of the second disjoint class (ClsDisj2ID).
+ID of the second disjoint class (Disjoint_Class 2).
-ID of the most specific common super-class of the disjoint classes involved (Common_super_classID).
+ID of the most specific common super-class of the disjoint classes involved (Common_Super_Class).
 }}
 {{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.
+If we apply a change to the ontology defining Carnivorous-Plant class as a sub-class of the class Animal, we cause a disjointness inconsistency. The proposed pattern resolves this kind of inconsistency.
-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.
+|Consequences=The application of the pattern to resolve the example above is performed as follow:
-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.
+.The pattern defines a class Animal_Plant as a union of the definitions of the disjoint classes Animal and Plant;
 }}
 {{Logical OP Reference Template}}

@@ Line 4: / Line 4: @@
 }}
 {{Logical OP General Template
-|Name=Define Hybrid Class Resolving Disjointness related to Subsomption
+|Name=Define Hybrid Class Resolving Disjointness due to Subsumption
 |SubmittedBy=RimDjedidi
 |Author=Rim Djedidi, Marie-Aude Aufaure