ICR -Universite. du Luxembourg July 11th, 4:00 PM Luxembourg City How Description Logics can become more intelligent by supporting contradictions Walter Carnielli Centre for Logic, Epistemology and the History of Science and Dept. of Philosophy-IFCH State University of Campinas, Brazil [email protected] Description Logics (DLs) are an extensively used formalism for class-based modeling and knowledge representation that intend to express properties of structured inheritance network. These systems constitute variants of multi- modal versions of the familiar normal modal logic K, and can be also interpreted as fragments of first-order logic with pragmatic computational properties. DLs are a flexible logical formalism for ontologies and for the semantic web, but precisely because of its wide expressivity they may face serious difficulties in expressing knowledge bases that lead to contradictions. Considering that the capacity of reasoning under contradictions is a much needed feature in enhanced versions of DLs, we introduce the description logic CiALCQ based upon the Logics of Formal Inconsistency (LFIs), a class of powerful paraconsistent logics. CiALCQ is strong enough to encompass the "classical" description logic ALCQ, so this new proposal not simply repairs contradictory ontologies, but genuinely generalizes (and represents a natural improvement to) the notion of description logic. (Joint work with Juliana Bueno-Soler)
Posted on: Fri, 05 Jul 2013 20:28:11 +0000
Trending Topics
Recently Viewed Topics
© 2015