![]() ![]() |
![]() | ![]() ![]() ![]() |
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.
![]() ![]() ![]() |