An Extension to OWL with General Rules [chapter]

Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin
2004 Lecture Notes in Computer Science  
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
more » ... iterative procedures for reasoning between OWL axioms and ASP rules.
doi:10.1007/978-3-540-30504-0_12 fatcat:6w5xgmqnjffypjca2zrlfjqdy4