×
李瑞轩；文昆梅；顾锡武；李玉华；孙晓林；李冰

类型2模糊描述逻辑。 （英语） Zbl 1267.68236号

前面。计算。科学。中国 5，第2期，205-215（2011）.
摘要：描述逻辑（DL）在最近的语义web应用系统中得到了广泛的应用。然而，经典描述逻辑在处理不精确的概念和角色时受到了限制，从而为这项工作提供了动力。本文提出了一种带补语的2型模糊属性概念语言（ALC），并给出了其知识表示和推理算法。我们还提出了2类模糊web本体语言（OWL）来构建基于2类模糊ALC的模糊本体，并分析了推理算法的可靠性、完整性和复杂性。与1型模糊ALC相比，2型模糊ALC可以利用隶属度区间更细致地描述不精确知识。我们实现了一个基于2型模糊ALC的语义搜索引擎，并对实际数据进行了测试。结果表明，对于不精确信息搜索，2型模糊ALC可以提高精度并增加相关点击数。

引用于1文件

MSC公司：

68层37 人工智能背景下的不确定性推理
68立方英尺 知识表示
68T27型 人工智能中的逻辑

关键词：

描述逻辑（DL）；带补语的2型模糊属性概念语言（ALC）；模糊本体；推理；语义搜索引擎

软件：

蛋白质；Swoogle标志
PDF格式BibTeX公司 XML格式引用
\textit{R.Li}等人，前面。计算。科学。中国5，第2205-215号（2011年；兹bl 1267.68236）
全文： DOI程序

参考文献：

[1] Stix G.交战的老鼠：自然选择。《科学美国人》，2001，284（6）：34–35·doi:10.1038/科学美国人0601-34
[2] Guha R、McCool R、Miller E.语义搜索。附：第十二届国际万维网会议记录。2003, 700–709
[3] Baader F、Calvanee D、McGuinness D L、Patel-Schneider P。《描述逻辑手册：理论、实现和应用》。伦敦：剑桥大学出版社，2003年，47–100·Zbl 1058.68107号
[4] Calvanee D，Lenzerini M，Nardi D。统一基于类的表示形式。人工智能研究杂志，1999，11（2）：199-240·Zbl 0924.68184号
[5] Schmidt-SchaubßM，Smolka G.带补语的定语概念描述。人工智能，1991，48（1）：1–26·兹比尔0712.68095 ·doi:10.1016/0004-3702（91）90078-X
[6] Heflin J D.朝向语义网：动态分布式环境中的知识表示。博士学位论文。大学公园：马里兰大学，2001年
[7] Heflin J，Hendler J.用鞋搜索网页。摘自：AAAI-2000网络搜索人工智能研讨会论文集。2000, 35–40
[8] Guha R，McCool R.TAP：一个语义网络测试平台。网络语义学杂志，2003，1（1）：81–87·Zbl 1035.68006号 ·doi:10.1016/j.websem.2003.07.004
[9] Ding L、Finin T、Joshi A、Pan R、Cost R S、Peng Y、Reddivari P、Doshi V、Sachs J.Swoogle：语义网的搜索和元数据引擎。摘自：第13届ACM信息和知识管理国际会议记录。2004, 294–303
[10] Finin T W、Mayfield J、Joshi A、Cost R S、Fink C。信息检索和语义网。收录于：第38届夏威夷国际系统科学会议记录。2005
[11] Manola F，Miller E.资源描述框架（RDF），W3C建议。W3C，2004年，网址：http://www.w3.org/RDF/
[12] McGuinness D L，van Harmelen F.OWLWeb本体语言概述，W3C建议。W3C，2004年，http://www.w3.org/TR/owl-features网站/
[13] Brockmans S、Colomb R M、Haase P、Kendall E F、Wallace E K、Welty C、Xie G T。构建OWL DL和OWL完整本体的模型驱动方法。摘自：第五届国际语义网络会议论文集。2006年，187–200
[14] Zadeh L A.模糊集。信息与控制，1965，8（3）：338–353·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X
[15] Meghini C，Sebastiani F，Straccia U。多媒体对象的形式和内容推理。在：AAAI 1997年春季研讨会论文集，关于文本、图像、视频和音频的智能集成和使用。1997, 89–94
[16] Straccia U.模糊描述逻辑中的推理。人工智能研究杂志，2001，14:137-166·Zbl 0973.03034号
[17] Straccia U.模糊具体领域的描述逻辑。摘自：《第21届人工智能不确定性会议论文集》。2005, 559–567
[18] Straccia U.语义网的模糊描述逻辑。摘自：《第一届模糊逻辑和语义网络研讨会论文集》，马赛，2005年3月18日
[19] 李毅，陆杰，徐斌，康德，江杰。描述逻辑ALCH的模糊扩展。收录于：第四届墨西哥人工智能国际会议记录。2005, 152–161
[20] Li Y，Xu B，Lu J，Kang D，Xu J.扩展模糊描述逻辑的推理技术。摘自：第17届IEEE人工智能工具国际会议论文集。2005, 665–666
[21] Li Y，Xu B，Lu J，Kang D，Wang P.扩展模糊描述逻辑家族。收录于：第29届国际计算机软件与应用年会论文集。2005, 221–226
[22] 姜毅，唐毅，王杰，邓P，唐S.格上的表示模糊描述逻辑。基于知识的系统，2010，23（2）：150–161·doi:10.1016/j.knosys.2009.11.002
[23] 姜毅，唐毅，王杰，唐S.直觉模糊粗糙描述逻辑中的推理。信息科学，2009179（14）：2362–2378·Zbl 1192.68672号 ·doi:10.1016/j.ins.2009.03.001
[24] Hajek P.使模糊描述逻辑更通用。模糊集与系统，2005，154（1）：1–15·Zbl 1094.03014号 ·doi:10.1016/j.fss.2005.03.005
[25] Jin H，Ning X，Jia W，Wu H，Lu G.将权重与模糊性相结合用于智能语义web搜索。基于知识的系统，2008，21（7）：655–665·doi:10.1016/j.knosys.2008.03.040
[26] 李锐，孙X，卢Z，文K，李毅。语义搜索引擎的二类模糊描述逻辑。收录于：第九届亚太网络会议和第八届网络时代信息管理国际会议联席会议论文集。2007, 805–812
[27] De Giacomo G、Lenzerini M.TBox和表达描述逻辑中的ABox推理。摘自：第五届知识表示与推理原则国际会议论文集。1996年，316–327
[28] ProtégéOntology编辑器和知识获取系统。http://protege.stanford.edu/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。