Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
October 2009
iswc09
In this paper we define a query-driven procedure for Hybrid MKNF knowledge bases that is sound with respect to the original stable model-based semantics, and is correct with respect to the well-founded semantics. This procedure is able to answer conjunctive queries, and is parametric on an inference engine for reasoning in the on- tology language. Our procedure is based on an extension of a tabled rule evaluation to capture reasoning within an ontology by modeling it as an interaction with an external oracle and, with some assumptions on the complexity of the oracle compared to the complexity of the ontology language, maintains the data complexity of the well-founded semantics for hybrid MKNF knowledge bases.
In proceedings
José Júlio Alferes, Matthias Knorr, Terrance Swift
A. Bernstein
International Semantic Web Conference 2009
Lecture Notes in Computer Science
Springer
-
5823
1-16
978-3-642-04929-3
-
-
-
Export formats
José Júlio Alferes and Matthias Knorr and Terrance Swift, Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling, in: A. Bernstein (eds), International Semantic Web Conference 2009, Lecture Notes in Computer Science, Springer, Vol. 5823, ISBN 978-3-642-04929-3, Pag. 1-16, October 2009.
<a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=69f33c830f67494d14d40325975eb39b" class="author">Matthias Knorr</a> and <a href="/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca" class="author">Terrance Swift</a>, <b>Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling</b>, in: A. Bernstein (eds), <u>International Semantic Web Conference 2009</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 5823, ISBN 978-3-642-04929-3, Pag. 1-16, October 2009.
@inproceedings {iswc09, author = {Jos{\'e} J{\'u}lio Alferes and Matthias Knorr and Terrance Swift}, editor = {A. Bernstein}, title = {Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling}, booktitle = {International Semantic Web Conference 2009}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {5823}, pages = {1-16}, isbn = {978-3-642-04929-3}, abstract = {In this paper we define a query-driven procedure for Hybrid MKNF knowledge bases that is sound with respect to the original stable model-based semantics, and is correct with respect to the well-founded semantics. This procedure is able to answer conjunctive queries, and is parametric on an inference engine for reasoning in the on- tology language. Our procedure is based on an extension of a tabled rule evaluation to capture reasoning within an ontology by modeling it as an interaction with an external oracle and, with some assumptions on the complexity of the oracle compared to the complexity of the ontology language, maintains the data complexity of the well-founded semantics for hybrid MKNF knowledge bases.}, month = {October}, year = {2009}, }
Publication's urls
/publications/view.php?code=b8826fce662baabd0f8614f3b83cb22c
/publications/view.php?code=iswc09
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT