Institutional Repository
| loop formulas for description logic programs | |
| Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong | |
| 2010 | |
| Conference Name | 26th International Conference on Logic Programming |
| Source | Theory and Practice of Logic Programming |
| Pages | 531-545 |
| Conference Date | JUL 16-19, |
| Conference Place | Edinburgh, SCOTLAND |
| Publish Place | 32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA |
| Publisher | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
| ISSN | 1471-0684 |
| Department | Wang, Yisong Guizhou Univ, Dept Comp Sci, Guiyang 550003, Peoples R China. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2M7, Canada. Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web. In this paper, we generalize the notions of completion and loop formulas of logic programs to description logic programs and show that the answer sets of a dl-program can be precisely captured by the models of its completion and loop formulas. Furthermore, we propose a new, alternative semantics for dl-programs, called the canonical answer set semantics, which is defined by the models of completion that satisfy what are called canonical loop formulas. A desirable property of canonical answer sets is that they are free of circular justifications. Some properties of canonical answer sets are also explored. |
| Keyword | Semantic Web Description Logic Programs Answer Sets Loop Formulas |
| Sponsorship | Assoc Log Programming, Execut Comm, Log Programming Comm |
| WOS ID | WOS:000280508200012 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8816 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Wang Yisong,You Jia-Huai,Yuan Li Yan,et al. loop formulas for description logic programs[C]. 32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA:THEORY AND PRACTICE OF LOGIC PROGRAMMING,2010:531-545. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| loop formulas for de（409KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment