Define Hybrid Class Resolving Disjointness Due to Subsumption

Rim Djedidi (1) , Marie-Aude Aufaure (2)

1 E3S - Supélec Sciences des Systèmes
2 MAS - Mathématiques Appliquées aux Systèmes - EA 4037

The pattern “Define Hybrid Class Resolving Disjointness due to Subsumption” is proposed as a Logical Ontology Design Pattern (Logical OP) solving a problem of disjointness inconsistency caused by a subsumption relation. Further away from solving design problems where the primitives of the representation language do not directly support certain logical constructs, this pattern helps resolving a logical inconsistency triggered by a situation of disjoint classes subsuming a common sub-class. The solution presented by the pattern resolves the inconsistency while preserving existing knowledge, i.e. a resolution alternative avoiding axiom deletion.

Domaines: Web

Rim Djedidi, Marie-Aude Aufaure. Define Hybrid Class Resolving Disjointness Due to Subsumption. Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference (ISWC-2009), Oct 2009, Washington DC, United States. pp. 100-103. ⟨hal-00438053⟩