tailieunhanh - WORL: A nonmonotonic rule language for the semantic web

We develop a new Web ontology rule language, called WORL, which combines a variant of OWL 2 RL with eDatalog¬. We allow additional features like negation, the minimal number restriction and unary external checkable predicates to occur at the left-hand side of concept inclusion axioms. Some restrictions are adopted to guarantee a translation into eDatalog¬. | Vietnam J Comput Sci 2014 1 57-69 DOI s4O595-013-0009-y REGULAR PAPER WORL a nonmonotonic rule language for the semantic web Son Thanh Cao Linh Anh Nguyen Andrzej Szatas Received 25 October 2013 Accepted 26 October 2013 Published online 16 November 2013 The Author s 2013 Abstract We develop a new Web ontology rule language called WORL which combines a variant of OWL 2 RL with eDatalog-. We allow additional features like negation the minimal number restriction and unary external checkable predicates to occur at the left-hand side of concept inclusion axioms. Some restrictions are adopted to guarantee a translation into eDatalog-. We also develop the well-founded semantics and the stable model semantics for WORL as well as the standard semantics for stratified WORL SWORL via translation into eDatalog-. Both WORL with respect to the well-founded semantics and SWORL with respect to the standard semantics have PTime data complexity. In contrast to the existing combined formalisms in WORL and SWORL negation in concept inclusion axioms is interpreted using nonmonotonic semantics. Keywords OWL 2 RL Datalog with negation Semantic Web Rule languages S. T. Cao Faculty of Information Technology Vinh University 182 Le Duan Vinh Nghe An Vietnam e-mail sonct@ L. A. Nguyen B A. Szalas Institute of Informatics University of Warsaw Banacha 2 02-097 Warsaw Poland e-mail nguyen@ L. A. Nguyen VNU University of Engineering and Technology 144 Xuan Thuy Hanoi Vietnam A. Szalas Department of Computer and Information Science Linkoping University 581 83 Linkoping Sweden e-mail andsz@ 1 Introduction In recent years the Semantic Web area has been rapidly developed and attracted lots of attention. A central idea of the Semantic Web is that ontologies are a proper bridge among users and search engines ensuring more accurate search results. Therefore Web Ontology Language OWL built on the top of XML and RDF serves as an important tool for specifying .