Description Logics with Aggregates and Concrete Domains

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Description Logics with Aggregates and Concrete Domains

Franz BaaderFranz Baader,  Ulrike SattlerUlrike Sattler

Datei:BaaSat-LTCS97-01.ps.gz

• Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report

• Details
• Bibtex

• KurzfassungAbstract
  We show that extending description logics by simple aggregation functions as available in database systems may lead to undecidability of inference problems such as satisfiability and subsumption.
• Bemerkung: Note: An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BaSat97,
  author = {F. {Baader} and U. {Sattler}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  note = {An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.},
  number = {LTCS-97-01},
  title = {Description Logics with Aggregates and Concrete Domains},
  type = {LTCS-Report},
  year = {1997},
}