Consistency Checking for Extended Description Logics.
作者： Bernadette Bouchon-Meunier , Marie-Jeanne Lesot , Olivier Couchariere
DOI:
关键词: Rotation formalisms in three dimensions 、 Consistency model 、 Description logic 、 Degree (graph theory) 、 Fuzzy logic 、 Data mining 、 Computer science 、 Binary number 、 Theoretical computer science 、 Consistency (knowledge bases)
摘要: In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on fuzzy and possibilistic formalisms. We compare these two approaches comment their differences concentrating consistency issue knowledge bases represented in extended frameworks. present a classification existing algorithms describe new method for case yields an inconsistency degree not only binary answer question. The algorithm is based direct extension tableau case, which introduce appropriate clash completion rule definitions.
archives-ouvertes.fr参考文章(27)
Qiu Ji, Jeff Z. Pan, Guilin Qi, A possibilistic extension of description logics international workshop description logics. ,vol. 250, pp. 435- 442 ,(2007)
R Molitor, C B Tresp, A Description Logic for Vague Knowledge european conference on artificial intelligence. pp. 361- 365 ,(1998)
John Yen, Generalizing term subsumption languages to fuzzy logic international joint conference on artificial intelligence. pp. 472- 477 ,(1991)
Henri Prade, Jérǒme Lang, Didier Dubois, Timed possibilistic logic Fundamenta Informaticae. ,vol. 15, pp. 211- 234 ,(1991) , 10.3233/FI-1991-153-403
Lotfi A. Zadeh, Fuzzy Logic and Its Application to Approximate Reasoning. ifip congress. pp. 591- 594 ,(1974)
H. Prade, D. Dubois, Basic notions of possibility theory ,(1998)
Dov M. Gabbay, J. A. Robinson, Christopher John Hogger, Nonmonotonic reasoning and uncertain reasoning Clarendon Press , Oxford University Press. ,(1994)
Handbook of fuzzy computation CRC Press. ,(1998) , 10.1201/9781420050394
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri, Completion Rules for Uncertainty Reasoning with the Description Logic ALC canadian semantic web working symposium. pp. 205- 225 ,(2006) , 10.1007/978-0-387-34347-1_14
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri, Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics. ,(2007)