全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2007 

面向语义web语义表示的模糊描述逻辑

, PP. 1257-1269

Keywords: 语义web,描述逻辑,fshoiq(fuzzy,shoiq),语义表示

Full-Text   Cite this paper   Add to My Lib

Abstract:

分析了语义web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义web语义表示的模糊描述逻辑fshoiq(fuzzyshoiq).给出了fshoiq的语法和语义,提出了fshoiq的模糊tableaux的概念,给出了一种基于模糊tableaux的fshoiq的abox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了fshoiq的tbox扩展和去除方法,并证明了fshoiq的tbox约束下的包含推理问题可以转化为abox约束下的可满足性推理问题.fshoiq为语义web表示和推理模糊知识提供了理论基础.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133