A family of extended fuzzy description logics

被引：21

作者：

Li, YH ^{[1
]}

Xu, BW ^{[1
]}

Lu, JJ ^{[1
]}

Kang, DZ ^{[1
]}

Wang, P ^{[1
]}

机构：

[1] SE Univ, Dept Comp Sci & Engn, Nanjing 210096, Peoples R China

来源：

PROCEEDINGS OF THE 29TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE | 2005年

关键词：

D O I：

10.1145/1095034.1095071

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Typical description logics are limited to dealing with crisp concepts and crisp roles. However, Web applications based on description logics should allow the treatment of the inherent imprecision. Therefore, it is necessary to add fuzzy features to description logics. A family of extended fuzzy description logics is proposed to enable representation and reasoning for complex fuzzy information. The extended fuzzy description logics introduce the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit the concept and role constructors from description logics. The definitions of syntax, semantics, reasoning tasks, and reasoning properties are given for the extended fuzzy description logic. The extended fuzzy description logics adopt a special fuzzify-method with more expressive power than the previous fuzzy description logics.

引用

页码：221 / 226

页数：6

共 7 条

[1]

Baader F., 2003, DESCRIPTION LOGIC HD

[2] The Semantic Web - A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities [J].

Berners-Lee, T ;

Hendler, J ;

Lassila, O .

SCIENTIFIC AMERICAN, 2001, 284 (05) :34-+

[3]

MEGHINI C, 1997, P AAAI 1997 SPRING S, P89

[4] ATTRIBUTIVE CONCEPT DESCRIPTIONS WITH COMPLEMENTS [J].

SCHMIDTSCHAUSS, M ;

SMOLKA, G .

ARTIFICIAL INTELLIGENCE, 1991, 48 (01) :1-26

[5] Transforming fuzzy description logics into classical description logics [J].

Straccia, U .

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 :385-399

[6] Reasoning within fuzzy description logics [J].

Straccia, U .

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001, 14 :137-166

[7]

Yen J., 1991, P 12 INT JOINT C ART, P472

← 1 →