Sciweavers

Share
NGC
2007
Springer

Description Logics with Contraries, Contradictories, and Subcontraries

9 years 3 months ago
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 ...
Ken Kaneiwa
Added 27 Dec 2010
Updated 27 Dec 2010
Type Journal
Year 2007
Where NGC
Authors Ken Kaneiwa
Comments (0)
books