Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Hustadt, U., Motik, B., & Sattler, U. J. Autom. Reason., 39(3):351–384, 2007.
Paper doi bibtex @article{DBLP:journals/jar/HustadtMS07,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},
journal = {J. Autom. Reason.},
volume = {39},
number = {3},
pages = {351--384},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9080-3},
doi = {10.1007/S10817-007-9080-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"JJt3Li7mbDcrhMqy2","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicsbyareductiontodisjunctivedatalog-2007","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Motik"],"suffixes":[]},{"firstnames":["Ulrike"],"propositions":[],"lastnames":["Sattler"],"suffixes":[]}],"title":"Reasoning in Description Logics by a Reduction to Disjunctive Datalog","journal":"J. Autom. Reason.","volume":"39","number":"3","pages":"351–384","year":"2007","url":"https://doi.org/10.1007/s10817-007-9080-3","doi":"10.1007/S10817-007-9080-3","timestamp":"Wed, 02 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jar/HustadtMS07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jar/HustadtMS07,\n author = {Ullrich Hustadt and\n Boris Motik and\n Ulrike Sattler},\n title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},\n journal = {J. Autom. Reason.},\n volume = {39},\n number = {3},\n pages = {351--384},\n year = {2007},\n url = {https://doi.org/10.1007/s10817-007-9080-3},\n doi = {10.1007/S10817-007-9080-3},\n timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"key":"DBLP:journals/jar/HustadtMS07","id":"DBLP:journals/jar/HustadtMS07","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicsbyareductiontodisjunctivedatalog-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10817-007-9080-3"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["reasoning","description","logics","reduction","disjunctive","datalog","hustadt","motik","sattler"],"title":"Reasoning in Description Logics by a Reduction to Disjunctive Datalog","year":2007}