@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.}
}
}

{"_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&lt;sup&gt;-&lt;/sup&gt; 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&lt;sup&gt;-&lt;/sup&gt; 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 &nbsp; \n\n \n \n &nbsp;\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^- 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^- 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^- Description Logic to Disjunctive Datalog Programs","year":null,"dataSources":["p6py5bqMdg7vzjQS3"]}