@inproceedings{DBLP:conf/ecai/HustadtMS04,
  author       = {Ullrich Hustadt and
                  Boris Motik and
                  Ulrike Sattler},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {Reasoning in Description Logics with a Concrete Domain in the Framework
                  of Resolution},
  booktitle    = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
                  ECAI'2004, including Prestigious Applicants of Intelligent Systems,
                  {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages        = {353--357},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Fri, 11 May 2018 12:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XtFkiBm7S4MSzveME","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicswithaconcretedomainintheframeworkofresolution-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":["Ramón","López"],"propositions":["de"],"lastnames":["Mántaras"],"suffixes":[]},{"firstnames":["Lorenza"],"propositions":[],"lastnames":["Saitta"],"suffixes":[]}],"title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","booktitle":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004","pages":"353–357","publisher":"IOS Press","year":"2004","timestamp":"Fri, 11 May 2018 12:42:30 +0200","biburl":"https://dblp.org/rec/conf/ecai/HustadtMS04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/HustadtMS04,\n author = {Ullrich Hustadt and\n Boris Motik and\n Ulrike Sattler},\n editor = {Ram{\\'{o}}n L{\\'{o}}pez de M{\\'{a}}ntaras and\n Lorenza Saitta},\n title = {Reasoning in Description Logics with a Concrete Domain in the Framework\n of Resolution},\n booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,\n ECAI'2004, including Prestigious Applicants of Intelligent Systems,\n {PAIS} 2004, Valencia, Spain, August 22-27, 2004},\n pages = {353--357},\n publisher = {{IOS} Press},\n year = {2004},\n timestamp = {Fri, 11 May 2018 12:42:30 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Motik, B.","Sattler, U."],"editor_short":["de Mántaras, R. L.","Saitta, L."],"key":"DBLP:conf/ecai/HustadtMS04","id":"DBLP:conf/ecai/HustadtMS04","bibbaseid":"hustadt-motik-sattler-reasoningindescriptionlogicswithaconcretedomainintheframeworkofresolution-2004","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["reasoning","description","logics","concrete","domain","framework","resolution","hustadt","motik","sattler"],"title":"Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution","year":2004}