Reasoning in description logics with a concrete domain in the framework of resolution
Ullrich Hustadt, Boris Motik, Ulrike Sattler · Research Explorer (The University of Manchester) · 2004
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 STLTQ with a restricted form of concrete domains, serving as the logical underpinning of the web ontology language OWL-DL.