Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. Hustadt, U., Motik, B., & Sattler, U. In Dubois, D., Welty, C. A., & Williams, M., editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pages 152–162, 2004. AAAI Press. Paper bibtex @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 = {http://www.aaai.org/Library/KR/2004/kr04-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_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":"http://www.aaai.org/Library/KR/2004/kr04-018.php","timestamp":"Tue, 09 Feb 2021 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 = {http://www.aaai.org/Library/KR/2004/kr04-018.php},\n timestamp = {Tue, 09 Feb 2021 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":"http://www.aaai.org/Library/KR/2004/kr04-018.php"},"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}