Description Logics with Aggregates and Concrete Domains

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Description Logics with Aggregates and Concrete Domains

Franz BaaderFranz Baader,  Ulrike SattlerUlrike Sattler
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Information Systems, 28(8):979-1004, 2003
  • KurzfassungAbstract
    Description Logics are a family of knowledge representation formalisms well-suited for intensional reasoning about conceptual models of databases/data warehouses. We extend Description Logics with concrete domains (such as integers and rational numbers) that include aggregation functions over these domains (such as min, max, count, and sum) which are usually available in database systems. We show that the presence of aggregation functions may easily lead to undecidability of (intensional) inference problems such as satisfiability and subsumption. However, there are also extensions for which satisfiability and subsumption are decidable, and we present decision procedures for the relevant inference problems.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderSattlerIS-02,
  author = {F. {Baader} and U. {Sattler}},
  journal = {Information Systems},
  number = {8},
  pages = {979--1004},
  title = {Description Logics with Aggregates and Concrete Domains},
  volume = {28},
  year = {2003},
}