Consistency reasoning in lattice-based fuzzy Description Logics

被引：16

作者：

Borgwardt, Stefan ^{[1
]}

Penaloza, Rafael ^{[1
,2
]}

机构：

[1] Tech Univ Dresden, Inst Theoret Comp Sci, D-01062 Dresden, Germany

[2] Ctr Adv Elect Dresden, Dresden, Germany

来源：

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2014年 / 55卷 / 09期

关键词：

Fuzzy Description Logics; Residuated lattices; Triangular norms; Tableau algorithm;

D O I：

10.1016/j.ijar.2013.07.006

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Fuzzy Description Logics have been widely studied as a formalism for representing and reasoning with vague knowledge. One of the most basic reasoning tasks in (fuzzy) Description Logics is to decide whether an ontology representing a knowledge domain is consistent. Surprisingly, not much is known about the complexity of this problem for semantics based on complete De Morgan lattices. To cover this gap, in this paper we study the consistency problem for the fuzzy Description Logic L-SHI and its sublogics in detail. The contribution of the paper is twofold. On the one hand, we provide a tableaux-based algorithm for deciding consistency when the underlying lattice is finite. The algorithm generalizes the one developed for classical SHI. On the other hand, we identify decidable and undecidable classes of fuzzy Description Logics over infinite lattices. For all the decidable classes, we also provide tight complexity bounds. (C) 2013 Elsevier Inc. All rights reserved.

引用

页码：1917 / 1938

页数：22

共 49 条

[1]

[Anonymous], 1977, Modern uses of multiple-valued logic, DOI [DOI 10.1007/978-94-010-1161-72, 10.1007/978-94-010-1161-7_2, DOI 10.1007/978-94-010-1161-7_2, 10.1007/978-94-010-1161-72]

[2]

[Anonymous], 2007, Studies in Logic and the Foundations of Mathematics

[3]

[Anonymous], 2007, DESCRIPTION LOGIC HD, DOI DOI 10.1017/CBO9780511711787

[4]

[Anonymous], 2007, 2007 IEEE INT FUZZ S, DOI DOI 10.1109/FUZZY.2007.4295443

[5] An Overview of Tableau Algorithms for Description Logics [J].

Baader F. ;

Sattler U. .

Studia Logica, 2001, 69 (1) :5-40

[6]

Baader F, 2011, IEEE INT CONF FUZZY, P1735

[7]

Baader F, 2005, 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), P364

[8]

Bobillo F., 2010, CEUR WORKSHOP P, V654, P61

[9] JOINING GODEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS [J].

Bobillo, Fernando ;

Delgado, Miguel ;

Gomez-Romero, Juan ;

Straccia, Umberto .

INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2012, 20 (04) :475-508

[10] Fuzzy ontology representation using OWL 2 [J].

Bobillo, Fernando ;

Straccia, Umberto .

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (07) :1073-1094

← 1 2 3 4 5 →