微信服务号

微信订阅号

2025年5月17日 7:41 星期六
首页 > 过刊浏览>2008年第19卷第12期 >3100-3110
PDF HTML阅读 XML下载 导出引用 引用提醒
一种描述逻辑与逻辑程序相结合的杂合系统DLclog
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60745022 (国家自然科学基金); the National Basic Research Program of China under Grant No.2003CB317000 (国家重点基础研究发展计划(973))


A Hybrid System DLclog Integrating Description Logics and Rules
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [23]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription)对其进行非经典解释,即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下,其外延在DL本体的模型中被解释为最小.使用这种方法,DL+log的非单调语义(NM-semantics,简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics,简称NMC语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在DL本体使用ALCIO和ALCQO书写,且不允许属性(role)出现在规则中的失败否定(NAF)之后时,还给出了可靠完全的推理算法和NMC语义下可满足性的判定复杂度.

    Abstract:

    Based on the vision of the Semantic Web, DLclog, a new hybrid formalism combining description logics (DL) and logic programming (LP), is described, which extends DL+log from syntax and semantics. In DLclog, negative dl-atoms can occur in the bodies of the rules, and are interpreted non-classically by McCarthy’s parallel circumscription, i.e., the extents of these DL predicates are minimized with the extents of all other DL predicates varying. In this way, the Nonmonotonic Semantics (NM-Semantics) of DL+log is extended to the Nonmonotonic Circumscriptive Semantics (NMC-Semantics), and therefore, DLclog becomes the hybrid system with the stronger expressiveness and reasoning abilities. A decision procedure is given when DL ontology is written in ALCIO or ALCQO and roles are not allowed to occur in negative dl-atoms, and the complexity is analyzed.

    参考文献
    [1] Rosati, R. DL+log: Tight integration of description logics and disjunctive datalog. In: Doherty P, Mylopoulos J, Welty C, eds. Proc. of the 10th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 2006). Lake District: AAAI Press, 2006. 68-78.
    [2] Rosati R Towards expressive KR systems integrating datalog and description logics: Preliminary report. In: Lambrix P, Borgida A, Lenzerini M, M?ller R, Patel-Schneider PF, eds. Proc. of the 1999 Description Logic Workshop (DL 1999). 1999. 160-164.
    [3] Rosati R. On the decidability and complexity of integrating ontologies and rules. Web Semantics, 2005,3(1):41-60.
    [4] Rosati R. Semantic and computational advantages of the safe integration of ontologies and Rules. In: Francois F, Sylvain S, eds. Proc. of the 3rd Int’l Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005). LNCS 3703, Dagstuhle: Springer-Verlag, 2005. 50-64.
    [5] de Bruijn J, Eiter T, Polleres A, Tompits H. On representational issues about combinations of classical theories with nonmonotonic rules. In: Lin FZ, Lang J, Wang J, eds. Proc. of the 1st Int’l Conf. on Knowledge Science, Engineering and Management (KSEM 2006). Springer-Verlag, 2006. 1-22.
    [6] Yang FK, Chen XP. DLclog: A hybrid system integrating rules with description logics with circumscription. In: Calvanese D, Franconi E, Tessaris S, eds. Proc. of the 20th Int’l Workshop on Description Logics (DL 2007). 2007.
    [7] Yang FK, Chen XP. Integrating rules and description logics with circumscription for semantic Web. In: Paschke A, Biletskiy Y, eds. Proc. of the Int’l RuleML Symp. on Rule Interchange and Application (RuleML 2007). LNCS, Springer-Verlag, 2007.
    [8] McCarthy J. Applications of circumscription in formalizing common sense knowledge. Artificial Intelligence Journal, 1986,28:89-116.
    [9] Gelfond M, Przymusinska H, Przymusinski T. On the relationship between circumscription and negation as failure. Artificial Intelligence Journal, 1989,38:75-94.
    [10] Bonatti P, Lutz C, Wolter F. Description logics with circumscription, In: Doherty P, Mylopoulos J, Welty C, eds. Proc. of the 10th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 2006). Lake District: AAAI Press, 2006. 400-410.
    [11] Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The Description Logic Handbook. Cambridge University Press, 2003.
    [12] Motik B, Horrocks I, Rosati R, Sattler U. Can OWL and logic programming live together happily ever after? In: Cruz I, Decker S, Allemang D, Preist C, Schwabe D, Mika P, Uschold M, Aroyo L, eds. Proc. of the 5th Int’l Semantic Web Conf. (ISWC 2006). LNCS, Springer-Verlag, 2006. 501-514.
    [13] Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Computing, 1991. 365-385.
    [14] Eiter T, Gottlob G, Manilla H. Disjunctive datalog. ACM Trans. on Database Systems, 1997,22(3):364-418.
    [15] Tobies S. Complexity results and practical algorithms for logics in knowledge representation [Ph.D. Thesis]. LuFG Theoretical Computer Science, RWTH-Aachen, 2001.
    [16] Donini F, Lenzerini M, Nardi D, Schaerf W. AL-log: Integrating datalog and description logics. Artificial Intelligence Journal, 1998,100(1-2):225-247.
    [17] Eiter T, Lukasiewicz T, Schindlauer R, Tompits H. Combining answer set programming with description logics for the semantic web. In: Dubois D, Welty C, Williams MA, eds. Proc. of the 9th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press, 2004.
    [18] Heymans S, Nieuwenborgh DV, Vermeir D. Semantic Web reasoning with conceptual logic programs. In: Grigoris A, Harold B, eds. Proc. of the 3rd Int’l Workshop on Rule and Rule Markup Languages for Semantic Web (RuleML 2004). LNCS, Springer-Verlag, 2004. 113-127.
    [19] de Bruijn J, Polleres D, Polleres A, Valverde A. A logic for hybrid rules. In: Eiter T, Franconi E, Hodgson R, Stephens S, eds. Proc. of the 2nd Int’l Conf. on Rules and Rule Markup Languages for the Semantic Web. RuleML 2006. IEEE Computer Society, 2006.
    [20] Motik B, Rosati R. A faithful integration of description logics with logic programming. In: Proc. of the 20th Int’l Joint Conf. on Artificial Intelligence (IJCAI 2007). Morgan Kauffman Publishers, 2007. 477-482.
    [21] de Bruijn J, Eiter T, Polleres A, Tompits H. Embedding non-ground logic programs into autoepistemic logic for knowledge base combination. In: Proc. of the 20th Int’l Joint Conf. on Artificial Intelligence (IJCAI 2007). Morgan Kauffman Publishers, 2007. 304-409.
    [22] Horrocks I, Patel-Schneider PF. A proposal for an OWL rules language. In: Feldman SI, Uretsky M, Najork M, Wills CE, eds. Proc. of the 13th Int’l Conf. on World Wide Web (WWW 2004). New York: ACM Press, 2004. 723-731.
    [23] Grosof BN, Horrocks I, Volz R, Decker S. Description logic programs: Combining logic programs with description logics. In: Chen YFR, Kovács L, Lawrence S, eds. Proc. of 12th Int’l World Wide Web Conf. (WWW 2003). Budapest: ACM Press, 2003. 39-47.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

杨方凯,陈小平.一种描述逻辑与逻辑程序相结合的杂合系统DLclog.软件学报,2008,19(12):3100-3110

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

京公网安备 11040202500063号