@TECHREPORT{Hustadt+Motik+Sattler@FZI-TR2003,
 AUTHOR        = {Hustadt, U. and Motik, B. and Sattler, U.},
 TITLE         = {Reducing SHIQ- Description Logic to Disjunctive Datalog Programs},
 XTITLE        = {Reducing {$\mathcal{SHIQ}^$-}Description Logic to Disjunctive Datalog Programs},
 INSTITUTION   = {FZI},
 ADDRESS       = {Karlsruhe, Germany},
 NUMBER        = {1-8-11/03},
 MONTH         = nov,
 YEAR          = {2003},
 NOTE          = {Revised version submitted to KR conference, http://www.fzi.de/wim/eng/publikationen.php?id=1103},
 URL           = {FZI-1-8-11-03.pdf},
 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":"QS2xQbFXqSe6rTXpD","bibbaseid":"hustadt-motik-sattler-reducingshiqdescriptionlogictodisjunctivedatalogprograms-2003","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["U."],"suffixes":[]},{"propositions":[],"lastnames":["Motik"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["Sattler"],"firstnames":["U."],"suffixes":[]}],"title":"Reducing SHIQ- Description Logic to Disjunctive Datalog Programs","xtitle":"Reducing $\\mathcal{SHIQ}^$-Description Logic to Disjunctive Datalog Programs","institution":"FZI","address":"Karlsruhe, Germany","number":"1-8-11/03","month":"November","year":"2003","note":"Revised version submitted to KR conference, http://www.fzi.de/wim/eng/publikationen.php?id=1103","url":"FZI-1-8-11-03.pdf","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.","bibtex":"@TECHREPORT{Hustadt+Motik+Sattler@FZI-TR2003,\n AUTHOR = {Hustadt, U. and Motik, B. and Sattler, U.},\n TITLE = {Reducing SHIQ- Description Logic to Disjunctive Datalog Programs},\n XTITLE = {Reducing {$\\mathcal{SHIQ}^$-}Description Logic to Disjunctive Datalog Programs},\n INSTITUTION = {FZI},\n ADDRESS = {Karlsruhe, Germany},\n NUMBER = {1-8-11/03},\n MONTH = nov,\n YEAR = {2003},\n NOTE = {Revised version submitted to KR conference, http://www.fzi.de/wim/eng/publikationen.php?id=1103},\n URL = {FZI-1-8-11-03.pdf},\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."],"key":"Hustadt+Motik+Sattler@FZI-TR2003","id":"Hustadt+Motik+Sattler@FZI-TR2003","bibbaseid":"hustadt-motik-sattler-reducingshiqdescriptionlogictodisjunctivedatalogprograms-2003","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/FZI-1-8-11-03.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["reducing","shiq","description","logic","disjunctive","datalog","programs","hustadt","motik","sattler"],"title":"Reducing SHIQ- Description Logic to Disjunctive Datalog Programs","year":2003}