Reducing SHIQ<sup>-</sup> Description Logic to Disjunctive Datalog Programs. Hustadt, U., Motik, B., & Sattler, U. In bibtex @inproceedings{ HMS2004a,
author = {Hustadt, U. and Motik, B. and Sattler, U.},
title = {Reducing SHIQ<sup>-</sup> Description Logic to
Disjunctive Datalog Programs},
xtitle = {Reducing {$\mathcal{SHIQ}^-$} Description Logic to
BOOKTITLE = {Proceedings of the 9th International Conference
on Knowledge Representation and Reasoning (KR2004)},
EDITOR = {Dubois, D. and Welty, C. and Williams, M.-A.},
PUBLISHER = {AAAI Press},
PADDRESS = {Menlo Park, California, USA},
CMONTH = jun,
CYEAR = {2004},
YEAR = {2004},
PAGES = {152--162},
URL = {http://www.aaai.org/Library/KR/2004/kr04-018.php},
ABSTRACT = {As applications of description logics proliferate,
efficient reasoning with large ABoxes (sets of individuals with
descriptions) becomes ever more important. Motivated by the prospects
of reusing optimization techniques from deductive databases, in this
paper, we present a novel approach to checking consistency of ABoxes,
instance checking and query answering, w.r.t. ontologies formulated
using a slight restriction of the description logic SHIQ. Our approach
proceeds in three steps: (i) the ontology is translated into
first-order clauses, (ii) TBox and RBox clauses are saturated using a
resolution-based decision procedure, and (iii) the saturated set of
clauses is translated into a disjunctive datalog program. Thus, query
answering can be performed using the resulting program, while applying
all existing optimization techniques, such as join-order optimizations
or magic sets. Equally important, the resolution-based decision
procedure we present is for unary coding of numbers worst-case
optimal, i.e. it runs in ExpTime.}
}
}
Downloads: 0
{"_id":{"_str":"52028916d40bcbb041000c99"},"__v":0,"authorIDs":[],"author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"bibbaseid":"hustadt-motik-sattler-reducingshiqsupsupdescriptionlogictodisjunctivedatalogprograms","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"HMS2004a\"> </a>Reducing SHIQ<sup>-</sup> Description Logic to Disjunctive Datalog Programs.</span>\n\t<span class=\"bibbase_paper_author\">\nHustadt, U.; Motik, B.; and Sattler, U.</span>\n\t<!-- <span class=\"bibbase_paper_year\">undefined</span>. -->\n</span>\n\n\n\nIn\n .\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('HMS2004a')\">\n <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Reducing SHIQ<sup>-</sup> Description Logic to Disjunctive Datalog Programs [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"hustadt-motik-sattler-reducingshiqsupsupdescriptionlogictodisjunctivedatalogprograms","role":"author","xtitle":"Reducing $\\mathcalSHIQ^-$ Description Logic to BOOKTITLE = Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (KR2004), EDITOR = Dubois, D. and Welty, C. and Williams, M.-A., PUBLISHER = AAAI Press, PADDRESS = Menlo Park, California, USA, CMONTH = jun, CYEAR = 2004, YEAR = 2004, PAGES = 152--162, URL = http://www.aaai.org/Library/KR/2004/kr04-018.php, ABSTRACT = As applications of description logics proliferate, efficient reasoning with large ABoxes (sets of individuals with descriptions) becomes ever more important. Motivated by the prospects of reusing optimization techniques from deductive databases, in this paper, we present a novel approach to checking consistency of ABoxes, instance checking and query answering, w.r.t. ontologies formulated using a slight restriction of the description logic SHIQ. Our approach proceeds in three steps: (i) the ontology is translated into first-order clauses, (ii) TBox and RBox clauses are saturated using a resolution-based decision procedure, and (iii) the saturated set of clauses is translated into a disjunctive datalog program. Thus, query answering can be performed using the resulting program, while applying all existing optimization techniques, such as join-order optimizations or magic sets. Equally important, the resolution-based decision procedure we present is for unary coding of numbers worst-case optimal, i.e. it runs in ExpTime.","type":"inproceedings","title":"Reducing SHIQ<sup>-</sup> Description Logic to Disjunctive Datalog Programs","key":"HMS2004a","id":"HMS2004a","bibtype":"inproceedings","bibtex":"@inproceedings{ HMS2004a,\n author = {Hustadt, U. and Motik, B. and Sattler, U.},\n title = {Reducing SHIQ<sup>-</sup> Description Logic to\n Disjunctive Datalog Programs},\n xtitle = {Reducing {$\\mathcal{SHIQ}^-$} Description Logic to\n BOOKTITLE = {Proceedings of the 9th International Conference \n on Knowledge Representation and Reasoning (KR2004)},\n EDITOR = {Dubois, D. and Welty, C. and Williams, M.-A.},\n PUBLISHER = {AAAI Press},\n PADDRESS = {Menlo Park, California, USA},\n CMONTH = jun,\n CYEAR = {2004},\n YEAR = {2004},\n PAGES = {152--162},\n URL = {http://www.aaai.org/Library/KR/2004/kr04-018.php},\n ABSTRACT = {As applications of description logics proliferate,\n efficient reasoning with large ABoxes (sets of individuals with\n descriptions) becomes ever more important. Motivated by the prospects\n of reusing optimization techniques from deductive databases, in this\n paper, we present a novel approach to checking consistency of ABoxes,\n instance checking and query answering, w.r.t. ontologies formulated\n using a slight restriction of the description logic SHIQ. Our approach\n proceeds in three steps: (i) the ontology is translated into\n first-order clauses, (ii) TBox and RBox clauses are saturated using a\n resolution-based decision procedure, and (iii) the saturated set of\n clauses is translated into a disjunctive datalog program. Thus, query\n answering can be performed using the resulting program, while applying\n all existing optimization techniques, such as join-order optimizations\n or magic sets. Equally important, the resolution-based decision\n procedure we present is for unary coding of numbers worst-case\n optimal, i.e. it runs in ExpTime.}\n}\n}","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"author":["Hustadt, U.","Motik, B.","Sattler, U."]},"bibtype":"inproceedings","biburl":"http://www.csc.liv.ac.uk/~ullrich/publications/uh-2013-08-06.bib","downloads":0,"title":"Reducing SHIQ<sup>-</sup> Description Logic to Disjunctive Datalog Programs","year":null,"dataSources":["p6py5bqMdg7vzjQS3"]}