ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution

Ullrich Hustadt, Boris Motik, Ulrike Sattler

In description logics, concrete domains are used to model concrete properties such as weight, name, or age, using 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. Then we use this approach to devise an optimal decision procedure for SHIQ(D), the extension of SHIQ with a restricted form of concrete domains, which serves as the logical underpinning of OWL-DL.

Keywords: resolution, concrete domain reasoning, description logics, Semantic Web

Citation: Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.348-352.


[prev] [tofc] [next]


ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).