微信服务号

微信订阅号

2025年3月29日 7:04 星期六
首页 > 过刊浏览>2006年第17卷第1期 >20-30
PDF HTML阅读 XML下载 导出引用 引用提醒
基于描述逻辑的模糊ER模型
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60373081, 60473005, 60573010 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2003AA115220 (国家高技术研究发展计划(863));the Natural Science Key Fou

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [22]
    • |
  • 相似文献 [20]
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.

    Abstract:

    The relationship of description logic ALNUI and ER model is analyzed, especially how to translate ER model into ALNUI knowledge bases for reducing the reasoning on ER model to model reasoning on ALNUI knowledge bases is investigated, and the problem of fuzzy ER modeling with description logic is further studied. Aiming at the characteristics and requirement of fuzzy ER model and based on the description logic ALNUI, the description logic ALNUI is generalized through fuzzy logic. And a kind of new description logic, i.e., fuzzy description logic FALNUI (fuzzy ALNUI), is presented. The fuzzy ER modeling with description logic FALNUI is studied to translate fuzzy ER model into FALNUI knowledge bases. The reasoning problem of satisfiability, redundancy, and subsumption relation of fuzzy ER model may reason automatically through reasoning mechanism of fuzzy description logic FALNUI, and the correctness of these reasoning problems is proved.

    参考文献
    [1]Baader F,Nutt W.Basic description logics.In:Baader F,Calvanese D,McGuinness D,Nardi D,Patel-Schneider P,eds.The Description Logic Handbook:Theory,Implementation and Applications.Cambridge:Cambridge University Press,2003.47-100.
    [2]Dong MK,Jiang YC,Shi ZZ.A description logic with defult reasoning.Chinese Journal of Computers,2003,26(6):729-736 (in Chinese with English abstract).
    [3]Liebig T,Rosner D.Action hierarchies in description logics.In:Brachman RJ,Donini FM,Franconi E,Horrocks I,Levy AY,Rousset MC,eds.Proc.of the 1997 Int'l Workshop on Description Logics.AAAI Press,1997.99-103.
    [4]Horrocks I.DAML+OIL:A description logic for the semantic Web.Bulletin of the IEEE Computer Society Technical Committee on Data Engineering,2002,25(1):4-9.
    [5]Horrocks I,Patel-Schneider PF.Reducing OWL entailment to description logic satisfiability.In:Fensel D,Sycara K,Mylopoulos J,eds.Proc.of the 2003 Int'l Semantic Web Conf.(ISWC 2003).LNCS 2870,Springer-Verlag,2003.17-29.
    [6]Baader F,Horrocks I,Sattler U.Description logics as ontology languages for the semantic Web.In:Hutter D,Stephan W,eds.Mechanizing Mathematical Reasoning:Essays in Honor of Jorg Siekmann on the Occasion of His 60th Birthday LNAI 2605,Springer-Verlag,2005.228-248.
    [7]Shi ZZ,Jiang YC,Zhang HJ,Dong MK.Agent service matchmaking based on description logic.Chinese Journal of Computers,2004,27(5):625-635 (in Chinese with English abstract).
    [8]Noia TD,Sciascio ED,Donini FM,Mongiello M.Abductive matchmaking using description logics.In:Gottlob G,Walsh T,eds.Proc.of the 18th Int'l Joint Conf.on Artificial Intelligence (IJCAI 2003).St.Louis:Morgan Kaufmann Publishers,2003.337-342.
    [9]Borgida A,Lenzerini M,Rosati R.Description logics for data bases.In:Baader F,Calvanese D,McGuinness D,Nardi D,Patel-Schneider P,eds.The Description Logic Handbook:Theory,Implementation and Applications Cambridge:Cambridge University Press,2003.472-494.
    [10]Calvanese D,Lenzerini M,Nardi D.Unifying class-based representation formalisms.Journal of Artificial Intelligence Research,1999,11(2):199-240.
    [11]Calvanese D,Giacomo GD,Nardi D,Lenzerini M.Reasoning in expressive description logics.In:Robinson A,Voronkov A,eds.Handbook of Automated Reasoning Milan:Elsevier Science Publishers,2001.1581-1634.
    [12]Straccia U.Reasoning within fuzzy description logics.Journal of Artificial Intelligence Research,2001,14(1):137-166.
    [13]Straccia U.A fuzzy description logic.In:Rich C,Mostow J,Buchanan BG,Uthurusamy R,eds.Proc.of the AAAI-98,15th National Conf.on Artificial Intelligence.AAAI Press,1998.594-599.
    [14]He XG.Fuzzy Theories and Fuzzy Techniques in Knowledge Processing.2nd ed.,Beijing:National Defence Industry Press,1999.321-354 (in Chinese).
    [15]Chen PPS.The entity-relationship model-toward a unified view of data.ACM Trans.on Database Systems,1976,1(1):9-36.
    [16]Zadeh LA.Fuzzy logic=computing with words.IEEE Trans.on Fuzzy Systems,1996,4(2):103-111.
    [17]Borgida A.Description logics in data management.IEEE Trans.on Knowledge and Data Engineering,1995,7(5):671-682.
    [18]Artale A,Franconi E.Temporal ER modeling with description logics.In:Akoka J,Bouzeghoub M,Comyn-Wattiau I,Métais E,eds.Proc.of the 18th Int'l Conf.on Conceptual Modeling.LNCS 1728,Springer-Verlag,1999.81-95.
    [19]Artale A,Cesarini F,Soda G.Describing database objects in a concept language environment.IEEE Trans.on Knowledge and Data Engineering,1996,8(2):345-351.
    [2]董明楷,蒋运承,史忠植.一种带缺省推理的描述逻辑.计算机学报,2003,26(6):729-736.
    [7]史忠植,蒋运承,张海俊,董明楷.基于描述逻辑的主体服务匹配.计算机学报,2004,27(5):625-635.
    [14]何新贵.模糊知识处理的理论与技术.第2版,北京:国防工业出版社,1999.321-354.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

蒋运承,汤庸,王驹.基于描述逻辑的模糊ER模型.软件学报,2006,17(1):20-30

复制
分享
文章指标
  • 点击次数:5359
  • 下载次数: 6044
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2005-06-22
  • 最后修改日期:2005-08-15
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19748015位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号