Description Logics with Contraries, Contradictories, and Subcontraries

Several constructive description logics,12) in which classical negation 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 ALCn ∼ 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 formalization includes a semantics that suitably interprets various combinations of classical negation and strong negation. We show that our semantics preserves contradictoriness ...

• Type: Journal
• Year: 2007
• Where: NGC
• Authors: Ken Kaneiwa
• Keywords: Classical Negation, Communications, Negation, NGC 2007, Strong Negation