caa a22 4500 463182804 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10817-006-9049-7 doi (NATIONALLICENCE)springer-10.1007/s10817-006-9049-7 A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes [Elektronische Daten] [Carsten Lutz, Maja Miličić] In order to use description logics (DLs) in an application, it is crucial to identify a DL that is sufficiently expressive to represent the relevant notions of the application domain, but for which reasoning is still decidable. Two means of expressivity required by many modern applications of DLs are concrete domains and general TBoxes. The former are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extension. The purpose of the latter is to capture background knowledge by stating that the extension of a concept is included in the extension of another concept. Unfortunately, combining concrete domains with general TBoxes often leads to DLs for which reasoning is undecidable. In this paper, we identify a general property of concrete domains that is sufficient for proving decidability of DLs with both concrete domains and general TBoxes. We exhibit some useful concrete domains, most notably a spatial one based on the RCC-8 relations that have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with concrete domains and general TBoxes. Springer Science+Business Media, Inc., 2006 description logic nationallicence concrete domains nationallicence decidability nationallicence tableau algorithm nationallicence Lutz Carsten Institute of Theoretical Computer Science, TU Dresden, Germany aut Miličić Maja Institute of Theoretical Computer Science, TU Dresden, Germany aut Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 227-259 0168-7433 38:1-3<227 2007 38 10817 https://doi.org/10.1007/s10817-006-9049-7 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-006-9049-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Lutz Carsten Institute of Theoretical Computer Science, TU Dresden, Germany aut NATIONALLICENCE 700 1- Miličić Maja Institute of Theoretical Computer Science, TU Dresden, Germany aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 227-259 0168-7433 38:1-3<227 2007 38 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer