@inproceedings{DBLP:conf/kr/HustadtMS04,
  author       = {Ullrich Hustadt and
                  Boris Motik and
                  Ulrike Sattler},
  editor       = {Didier Dubois and
                  Christopher A. Welty and
                  Mary{-}Anne Williams},
  title        = {Reducing SHIQ-Description Logic to Disjunctive Datalog Programs},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Ninth International Conference (KR2004), Whistler, Canada,
                  June 2-5, 2004},
  pages        = {152--162},
  publisher    = {{AAAI} Press},
  year         = {2004},
  url          = {https://aaai.org/papers/KR04-018-reducing-shiq-description-logic-to-disjunctive-datalog-programs/},
  timestamp    = {Wed, 10 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"33BdYtXpkfJArDB5g","bibbaseid":"hustadt-motik-sattler-reducingshiqdescriptionlogictodisjunctivedatalogprograms-2004","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Motik"],"suffixes":[]},{"firstnames":["Ulrike"],"propositions":[],"lastnames":["Sattler"],"suffixes":[]}],"editor":[{"firstnames":["Didier"],"propositions":[],"lastnames":["Dubois"],"suffixes":[]},{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Welty"],"suffixes":[]},{"firstnames":["Mary-Anne"],"propositions":[],"lastnames":["Williams"],"suffixes":[]}],"title":"Reducing SHIQ-Description Logic to Disjunctive Datalog Programs","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004","pages":"152–162","publisher":"AAAI Press","year":"2004","url":"https://aaai.org/papers/KR04-018-reducing-shiq-description-logic-to-disjunctive-datalog-programs/","timestamp":"Wed, 10 Dec 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/kr/HustadtMS04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/HustadtMS04,\n author = {Ullrich Hustadt and\n Boris Motik and\n Ulrike Sattler},\n editor = {Didier Dubois and\n Christopher A. Welty and\n Mary{-}Anne Williams},\n title = {Reducing SHIQ-Description Logic to Disjunctive Datalog Programs},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Ninth International Conference (KR2004), Whistler, Canada,\n June 2-5, 2004},\n pages = {152--162},\n publisher = {{AAAI} Press},\n year = {2004},\n url = {https://aaai.org/papers/KR04-018-reducing-shiq-description-logic-to-disjunctive-datalog-programs/},\n timestamp = {Wed, 10 Dec 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"editor_short":["Dubois, D.","Welty, C. A.","Williams, M."],"key":"DBLP:conf/kr/HustadtMS04","id":"DBLP:conf/kr/HustadtMS04","bibbaseid":"hustadt-motik-sattler-reducingshiqdescriptionlogictodisjunctivedatalogprograms-2004","role":"author","urls":{"Paper":"https://aaai.org/papers/KR04-018-reducing-shiq-description-logic-to-disjunctive-datalog-programs/"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","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":2004}