描述逻辑程序系统的设计与实现-计算机科学与探索.pdfVIP

杨卓群，王以松.描述逻辑程序系统的设计与实现[J].计算机科学与探索，2014 ，8（3）：338-344. ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@vip. 163.com Journal of Frontiers of Computer Science and Technology 1673-9418/2014/08(03)-0338-07 Tel: +86-10 doi: 10.3778/j.issn. 1673-9418.1306008 描述逻辑程序系统的设计与实现 杨卓群，王以松+ 贵州大学 计算机科学与技术学院，贵阳 550025 Design and Implementation for Description Logic Programs YANG Zhuoqun, WANG Yisong + College of Computer Science Technology, Guizhou University, Guiyang 550025, China + Corresponding author: E-mail: csc.yswang@ YANG Zhuoquan, WANG Yiqong. Design and implementation for description logic programs. Journal of Frontiers of Computer Science and Technology, 2014, 8(3) ：338-344. Abstract: Eiter et al. proposed an approach to combining answer set programs with description logics, called descrip- tion logic program (DLP) for the semantic Web. It results in the non-monotonicity for the reasoning over ontology. Wang et al. showed that, together with the notion of loop formulas, the completion of a DLP can precisely capture the answer sets of DLP. Accordingly, this paper proves that there exist terminating loop formulas validating the models of the completion for a DLP that can be efficiently computed in polynomial time. Then, this paper presents a proto- type DLP_SAT for computing strong answer sets of DLPs, which makes use of SAT solver MiniSAT and description logic reasoner RacerPro. The experimental results demonstrate that the prototype can efficiently compute the strong answer sets of some known DLPs. Key words: description logic; logic program; answer set; loop formula; satisfiability (SAT) 摘 要：Eiter 等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序，获得了本体上