U. Hustadt, B. Motik, and U. Sattler (2004b): ``Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.'' In R. Lopez de Mantaras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004) [Valencia, Spain, August 22-27, 2004], pp. 353-357. IOS Press.
Abstract, BibTeX.

In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predicates, such as <= or =. Until now, reasoning with concrete domains has been studied predominantly in the context of tableaux and automata calculi. In this paper, we present a general approach for concrete domain reasoning in the resolution framework. We apply this approach to devise an optimal decision procedure for SHIQ(D), the extension of SHIQ with a restricted form of concrete domains, serving as the logical underpinning of the web ontology language OWL-DL. [an error occurred while processing this directive]