%0 Journal Article %1 motik2006query %A Motik, Boris %A Sattler, Ulrike %A Studer, Rudi %D 2005 %I Elsevier %J Web Semantics: Science, Services and Agents on the World Wide Web %K Description decidability; hybrid languages logics; rules; %N 1 %T Query Answering for OWL-DL with Rules %U http://www.websemanticsjournal.org/index.php/ps/article/view/63 %V 3 %X Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in the rule body. We discuss the expressive power of such a combination and present an algorithm for query answering in the related logic SHIQ extended with DL-safe rules, based on a reduction to disjunctive programs.

@article{motik2006query, abstract = {Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in the rule body. We discuss the expressive power of such a combination and present an algorithm for query answering in the related logic SHIQ extended with DL-safe rules, based on a reduction to disjunctive programs.}, added-at = {2015-01-14T21:25:14.000+0100}, author = {Motik, Boris and Sattler, Ulrike and Studer, Rudi}, biburl = {https://www.bibsonomy.org/bibtex/245a57c83b9735ee647d772405663a312/diverzulu}, file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Background on Semantic Web\\OWL\\2005-Query Answering for OWL-DL with Rules.pdf:PDF}, interhash = {9e75f36cf74289b2a0e35e3443794dc0}, intrahash = {45a57c83b9735ee647d772405663a312}, issn = {1570-8268}, journal = {Web Semantics: Science, Services and Agents on the World Wide Web}, keywords = {Description decidability; hybrid languages logics; rules;}, number = 1, publisher = {Elsevier}, timestamp = {2015-01-14T21:25:14.000+0100}, title = {Query Answering for OWL-DL with Rules}, url = {http://www.websemanticsjournal.org/index.php/ps/article/view/63}, volume = 3, year = 2005 }