Define Hybrid Class Resolving Disjointness Due to Subsumption

Rim Djedidi 1 Marie-Aude Aufaure 2
1 E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
2 MAS - Mathématiques Appliquées aux Systèmes - EA 4037
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 metadatas
https://hal-supelec.archives-ouvertes.fr/hal-00438053
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, December 2, 2009 - 9:33:34 AM
Last modification on : Friday, June 29, 2018 - 12:12:24 PM

Identifiers

  • HAL Id : hal-00438053, version 1

Collections

EC-PARIS | SUPELEC | MAS | ECP-DR | MICS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

392

Contact

CCSD