- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Reasoning for a fuzzy description logic with comparison expressions
Reasoning for A Fuzzy Description Logic with
Comparison Expressions ?
Dazhou Kang1, Baowen Xu1,2, Jianjiang Lu3 and Yanhui Li1
1School of Computer Science and Engineering, Southeast University,
Nanjing 210096, China
2Jiangsu Institute of Software Quality, Nanjing, 210096, China
3Institute of Command Automation, PLA University of Science and
Technology, Nanjing 210007, China
Abstract
The fuzzy extensions of description logics support representation and
reasoning for fuzzy knowledge. But the current fuzzy description logics
do not support the expression of comparisons between fuzzy membership
degrees. The paper proposes ALCfc, a fuzzy extension of description
logic ALC with comparison expressions. ALCfc defines comparison cut
concepts to express complex comparisons, and integrate them with fuzzy
ALC. The challenges of reasoning in ALCfc is discussed, and a tableau
algorithm is presented. It enables representation and reasoning for ex-
pressive fuzzy knowledge about comparisons.
1 Introduction
Description logics (DLs) [1] are widely used in the semantic web. Fuzzy exten-
sions of description logics import the fuzzy theory to enable the capability of
dealing with fuzzy knowledge [5]. In fuzzy DLs, an individual is an instance of
a fuzzy concept only to a certain degree (called fuzzy membership degree); e.g.
“Tom is tall to a degree greater than 0.8,” where Tall is a fuzzy concept. It is
also a familiar description that “Tom is taller than Mike,” which can be seemed
as a comparison between two degrees without any restrictions on their exact
?This work was supported by NSFC and, National Grand
Fundamental Research 973 Program of China (2002CB312000), Innovation Plan for Jiangsu
High School Graduate Student, Advanced Armament Research Project (51406020105JB8103),
Advanced Research Fund of Southeast University (XJ0609233), and High Technology Research
Project of Jiangsu Province (BG2005032). Email:swws@seu.edu.cn
values. Such comparison is impo
您可能关注的文档
- opencl-1-1-quick-reference-card.pdf
- opengl3.2-quick-reference-card.pdf
- Operationalization of non-formal theories in operator-models.pdf
- Operator Algebra in Chern-Simons Theory on a Torus.pdf
- Operator algebra of the 4D W_3 string.pdf
- Operator Approach to Boundary Liouville Theory.pdf
- OPERATOR COPRODUCT-REALIZATION OF QUANTUM GROUP TRANSFORMATIONS IN TWO DIMENSIONAL GRAVITY.pdf
- Operator Configuration Guide for VIP Aircraft - Auxiliary Power Unit.pdf
- Operator formalism of quantum mechanics.pdf
- Operator Geometric Stable Laws.pdf
文档评论(0)