Define Hybrid Class Resolving Disjointness Due to Subsumption - CentraleSupélec
Communication Dans Un Congrès Année : 2009

Define Hybrid Class Resolving Disjointness Due to Subsumption

Résumé

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
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00438053 , version 1

Citer

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⟩
89 Consultations
0 Téléchargements

Partager

More