• Article
  • | |
  • Metrics
  • |
  • Reference [22]
  • |
  • Related [20]
  • |
  • Cited by [18]
  • | |
  • Comments
    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.

    Reference
    [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.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:5347
  • PDF: 5979
  • HTML: 0
  • Cited by: 0
History
  • Received:June 22,2005
  • Revised:August 15,2005
You are the first2017791Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063