On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)

Franz BaaderFranz Baader, Filippo De BortoliFilippo De Bortoli

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023

Details
Bibtex

KurzfassungAbstract
Concrete domains have been introduced in Description Logic (DL) to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. The primary research goal in this context was to find restrictions on the concrete domain such that its integration into certain DLs preserves decidability or tractability. In this paper, we investigate the abstract expressive power of logics extended with concrete domains, namely which classes of first-order interpretations can be expressed using these logics. In the first part of the paper, we show that, under natural conditions on the concrete domain D (which also play a role for decidability), extensions of first-order logic (FOL) or 𝒜ℒ𝒞 with D share important formal properties with FOL, such as the compactness and the Löwenheim-Skolem property. Nevertheless, their abstract expressive power need not be contained in that of FOL. In the second part of the paper, we investigate whether finitely bounded homogeneous structures, which preserve decidability if employed as concrete domains, can be used to express certain universal first-order sentences, which then could be added to DL knowledge bases without destroying decidability. We show that this requires rather strong conditions on said sentences or an extended scheme for integrating the concrete domain that leads to undecidability.
Weitere Informationen unter:Further Information: Link
Projekt:Project: ScaDS.AI
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{BaBo-LTCS-23-02,
      address = {Dresden, Germany},
      author = {Franz {Baader} and Filippo {De Bortoli}},
      institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
      note = {\url{https://tu-dresden.de/inf/lat/reports#BaBo-LTCS-23-02}},
      number = {23-02},
      title = {{On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)}},
      type = {LTCS-Report},
      year = {2023},
    }
}}