Define Hybrid Class Resolving Disjointness Due to Subsumption - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

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.

Domains

Web
No file

Dates and versions

hal-00438053 , version 1 (02-12-2009)

Identifiers

  • HAL Id : hal-00438053 , version 1

Cite

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⟩
75 View
0 Download

Share

Gmail Facebook X LinkedIn More