loop formulas for description logic programs

	loop formulas for description logic programs
	Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong
	2010
会议名称	26th International Conference on Logic Programming
会议录名称	Theory and Practice of Logic Programming
页码	531-545
会议日期	JUL 16-19,
会议地点	Edinburgh, SCOTLAND
出版地	32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA
出版者	THEORY AND PRACTICE OF LOGIC PROGRAMMING
ISSN	1471-0684
部门归属	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.
摘要	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.
关键词	Semantic Web Description Logic Programs Answer Sets Loop Formulas
主办者	Assoc Log Programming, Execut Comm, Log Programming Comm
WOS记录号	WOS:000280508200012
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8816
专题	基础软件与系统重点实验室
推荐引用方式 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.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
loop formulas for de（409KB）			开放获取	--	请求全文