QQ客服 官方微博 反馈留言

	An extension to OWL with general rules
	Mei, J ; Liu, SP ; Yue, AB ; Lin, ZQ
	2004
关键词	KNOWLEDGE REPRESENTATION DESCRIPTION LOGICS
英文摘要	In Semantic Web, using rules to add more expressive power has drawn considerable attention. Recently ORL (OWL Rules Language) has been presented where OWL is extended with Horn clause rules. In this paper we propose an extension to OWL with more general rules involving not only atoms but also literals with classical negation and negation as failure. We present first the abstract syntax for our OWL extension and then its semantics via the Answer Set Programming(ASP). Furthermore, we discuss the iterative procedures for reasoning between OWL axioms and ASP rules.; Computer Science, Artificial Intelligence; Computer Science, Information Systems; Computer Science, Theory & Methods; SCI(E); CPCI-S(ISTP); 0
语种	英语
出处	SCI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/400592]
专题	数学科学学院
推荐引用方式 GB/T 7714	Mei, J,Liu, SP,Yue, AB,et al. An extension to OWL with general rules. 2004-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。