Description Logics with Contraries, Contradictories, and Subcontraries

摘要

Several constructive description logics,~(12) in which classicalrnnegation was replaced by strong negation as a component to treat negative atomic information have been proposed as intuitionistic variants of description logics. For conceptual representation, strong negation alone and in a combination with classical negation seems to be useful and necessary due to their respective predicate denial (e.g., not happy) and predicate term negation (e.g., unhappy) properties. In this paper, we propose an alternative description logic ALC_～~n with classical negation and strong negation. We adhere in particular to the notions of contraries, contradictories, and subcontraries (as discussed in ~(6)), generated from conceivable statement types using predicate denial and predicate term negation. To capture these notions, our formal-ization includes a semantics that suitably interprets various combinations of classical negation and strong negation. We show that our semantics preserves contradictoriness and contrariness for ALC_～~n-concepts, but the semantics of constructive description logic CALC_～~2 with Heyting negation and strong negation cannot preserve the property for CALC_～~2-concepts.