• Article
  • | |
  • Metrics
  • |
  • Reference [18]
  • |
  • Related [20]
  • |
  • Cited by [3]
  • | |
  • Comments
    Abstract:

    This paper analyzes that the main difficulty in reasoning with general terminological axioms is that the membership degrees of fuzzy interpretations are not discrete, but continous in [0,1]. To remove this obstacle difficulty, this paper proposes a discretization method of fuzzy interpretation to translate membership degrees into discrete values in a finite set. Based on this discretization, it gives a discrete Tableau reasoning technique for FALCN reasoning problems with general terminological axioms, which consists of the definition of discrete Tableaus, a construction algorithm for discrete Tableaus and the proof of soundness, completeness and complexity of this algorithm.

    Reference
    [1]Baader F,Calvanese D,McGuinnass DL,Nardi D,Patel-Schneider PF.The Description Logic Handbook:Theory,Implementation,and Applications.Cambridge University Press,2003.
    [2]Horrocks I,Patel-Schneider PF.Reducing OWL entailment to description logic satisfiability.In:Ensel D,Sycara D,Mylopoulos D,eds.Proc.of the 2003 Int'l Semantic Web Conf.(ISWC 2003).Berlin:Springer-Verlag,2003.17-29.
    [3]Straccia U.A fuzzy description logic.In:Proc.of the AAAI-98,the 15th National Conf.on Artificial Intelligence.1998.594-599.http://faure.isti.cnr.it/~straccia/download/papers/UAI05/UAI05.pdf
    [4]Hōlldobler S,Stōrr H P,Khang T D.The fuzzy description logic ALCFH with hedge algebras as concept modifiers.Int'l Journal of Advanced Computational Intelligence and Intelligent Informatics,2003,7(3):294-305
    [5]Sanchez D,Tettamanzi G.Generalizing quantification in fuzzy description logic.In:Proc.of the 8th Fuzzy Days.2004.http://www.springerlink.com/index/56km50g05k43n03n.pdf
    [6]Straccia U.Towards a fuzzy description logic for the semantic Web.In:Proc.of the 2nd European Semantic Web Conf.,2005.http://gaia.isti.cnr.it/~straccia/download/papers/ESWC05/ESWC05.pdf
    [7]Stoilos G,Stamou G,Tzouvaras V,Pan J,Horrocks I.Fuzzy OWL:Uncertainty and the semantic Web.In:Proc.of the Int'l Workshop of OWL:Experiences and Directions.2005.http://www.image.ece.ntua.gr/php/savepaper.php?id=398
    [8]Stoilos G,Stamou G,Tzouvaras V,Pan J,Horrocks I.The fuzzy description logic SHIN.In:Panlo-Cesar GDC,Kathryn BL,Kenneth JL.Michael P.eds.Proc.of Int'1 Workshop of OWL:Experiences and Directions.Aachen:CEUR-WS.org Publishers,2005.67-76.
    [9]Horrocks,I,Sattler U.A description logic with transitive and inverse roles and role hierarchies.Journal of Logic and Computation,1999,9:385-410.
    [10]Shi ZZ,Dong Mk,Jiang YC,Zhang HJ.Logic base of semantic Web.Science in China(Series E):Information Sciences,2004,34(10):1123-1138(in Chinese、with English abstract).
    [11]Done MK,Zhang HJ,Shi ZZ.An agent model based on dynamic description logic.Journal of Computer Research and Development,2004,41(5):780-786(in Chinese with English abstract).
    [12]Done MK,Jiang YC,Shi ZZ.A description logic with default reasoning.Chinese Journal of Computers,2003,26(6):729-736(in Chinese with English abstract).
    [13]Shi ZZ,Jiang YC,Zhang HJ,Dong MK.Agent service matchmaking based on description logic.Chinese Journal of Computers,2004,27(5):625-634(in Chinese with English abstract).
    [14]Liang SF,Hong Y,Li MS.Design and implementation of a semantic web rule markup language OWLRule+.Journal of Computer Research and Development,2004,4l(7):1088-1096(in Chinese with English abstract).
    [15]Jiang YC,Tang Y,Wang J.Fuzzy ER modeling with description logics.Journal of Software,2006,17(1):20-30(in Chinese withEnglish abstract).http://www.jos.org.cn/1000-9825/17/20.htm
    [16]Li YH,Xu BW,Lu JJ,Kang DZ,Wang P.A family of extended fuzzy description logics.In:Proc.of the IEEE 29th Annual Int'l Computer Software and Applications Conf.2005.221-226.http://www.computer.org/portal/site/store/menuitvm.41cf17dc879177c86ee948ce8bcd45f3/index.jsp?& pName=store_levelI&path=store/p2005&file=p2413.xml&xsl=generic.xsl&
    [17]Li YH,Xu BW,Lu JJ,Kang DZ.On the computational complexity of the extended fuzzy description logic with numerical constraints.Journal of Software,2006,17(5):968-975(in Chinese with English abstract).http://www.jns.org.cn/1000-9825/17/968.htm
    [18]Li YH,Xu BW,Lu JJ,Kang DZ.Discrete Tableau algorithms for FSHI.In:Proc.of the 2006 Int'l Workshop on Description Logics-DL2006.ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/submission_14.pdf
    Comments
    Comments
    分享到微博
    Submit
Get Citation

李言辉,徐宝文,陆建江,康达周.一般术语公理下的模糊描述逻辑FALCN推理.软件学报,2008,19(3):594-604

Copy
Share
Article Metrics
  • Abstract:4132
  • PDF: 6010
  • HTML: 0
  • Cited by: 0
History
  • Received:May 08,2006
  • Revised:September 30,2006
You are the first2038577Visitors
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