Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. Hustadt, U., Motik, B., & Sattler, U. In de Mántaras, R. L. & Saitta, L., editors, 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, 2004. IOS Press.
bibtex   
@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}
}

Downloads: 0