A Fuzzy Knowledge Representation Approach with Description Logic and Logic Program

被引：0

作者：

Ding, Song ^{[1
]}

Tang, Sheng-Qun ^{[1
]}

Zhang, Liang ^{[1
]}

Liu, Kun ^{[1
]}

Qin, Xue ^{[1
]}

机构：

[1] Wuhan Univ, State Key Lab Software Engn, Wuhan 430072, Peoples R China

来源：

ADVANCED TECHNOLOGY IN TEACHING - PROCEEDINGS OF THE 2009 3RD INTERNATIONAL CONFERENCE ON TEACHING AND COMPUTATIONAL SCIENCE (WTCS 2009), VOL 2: EDUCATION, PSYCHOLOGY AND COMPUTER SCIENCE | 2012年 / 117卷

关键词：

Description Logic Programing; Knowledge Representaion; Sroiq(D); Ow12-Dl; Reasoning; Fuzzy Set; Equation; Inequation;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Dataloe and discusses the common reasoning problems in fuzzy description logic programming and finally proposes an inequation/equation set approach to solve the reasoning problems.

引用

页码：89 / 96

页数：8

共 10 条

[1]

[Anonymous], 2003, DESCRIPTION LOGIC HD

[2]

[Anonymous], 2005TR03 I SCI TECN

[3] OWL rules: A proposal and prototype implementation [J].

Horrocks, I ;

Patel-Schneider, PF ;

Bechhofer, S ;

Tsarkov, D .

JOURNAL OF WEB SEMANTICS, 2005, 3 (01) :23-40

[4]

Jiang Yun-Cheng, 2007, Journal of Software, V18, P1257, DOI 10.1360/jos181257

[5]

Li Y., 2009, CHINESE J COMPUTERS, P1511

[6]

Motik B., 2008, OWL 2 Web On- tology Language: Structural Specification and Functional- Style Syntax

[7] 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

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

Straccia, U .

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

[9]

*W3C, 2003, SWRL SEM WEB RUL LAN

[10]

Zaden L.A., 1975, SYNTHESE

← 1 →