Skip to Main content Skip to Navigation
Conference papers

Define Hybrid Class Resolving Disjointness Due to Subsumption

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Wednesday, December 2, 2009 - 9:33:34 AM
Last modification on : Monday, December 14, 2020 - 12:38:04 PM


  • HAL Id : hal-00438053, version 1



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⟩



Les métriques sont temporairement indisponibles