A decidable fuzzy description logic F-ALC(G)

被引：0

作者：

Wang, Hailong ^{[1
]}

Ma, Z. M. ^{[1
]}

机构：

[1] Northeastern Univ, Sch Informat Sci & Engn, Shenyang 110004, Peoples R China

来源：

DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS | 2008年 / 5181卷

关键词：

fuzzy ALC(G); customized fuzzy data types; Tableau algorithm;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The existing Web Ontology languages and the corresponding description logics don't support customized data type information. Furthermore, they can't process imprecise and uncertain information in the Semantic Web. In order to solve these limitations, we propose a new kind of fuzzy description logic, F-ALC(G), which call not only support the representation and reasoning Of fuzzy concept knowledge, but also support fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates.

引用

页码：116 / 123

页数：8

共 9 条

[1]

Baader F., 2003, DESCRIPTION LOGIC HD

[2]

HORROCKS I, 2001, P 17 INT JOINT C ART, P199

[3] OWL-Eu: Adding customised datatypes into OWL [J].

Pan, Jeff Z. ;

Horrocks, Ian .

JOURNAL OF WEB SEMANTICS, 2006, 4 (01) :29-39

[4] A flexible ontology reasoning architecture for the Semantic Web [J].

Pan, Jeff Z. .

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2007, 19 (02) :246-260

[5] Reasoning with very expressive fuzzy description logics [J].

Stoilos, Giorgos ;

Stamou, Giorgos ;

Pan, Jeff Z. ;

Tzouvaras, Vassilis ;

Horrocks, Ian .

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 :273-320

[6]

Straccia U, 2005, LECT NOTES COMPUT SC, V3532, P167

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

Straccia, U .

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

[8]

Wang HL, 2008, IEEE INT CONF FUZZY, P1536

[9] FUZZY SETS [J].

ZADEH, LA .

INFORMATION AND CONTROL, 1965, 8 (03) :338-&

← 1 →