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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论