 |
ECOLE SUPÉRIEURE D'ÉLECTRICITÉ Une grande école d'ingénieurs au cœur des sciences de l'information,de l'énergie et des systèmes |
 |
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.
https://hal-supelec.archives-ouvertes.fr/hal-00438053
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, December 2, 2009 - 9:33:34 AM
Last modification on : Wednesday, April 8, 2020 - 3:23:54 PM
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, December 2, 2009 - 9:33:34 AM
Last modification on : Wednesday, April 8, 2020 - 3:23:54 PM
