- Titel
- Description Logics with Aggregates and Concrete Domains
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788104
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 97-01
- Erstveröffentlichung
- 1997
- DOI
- https://doi.org/10.25368/2022.73
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Beschreibungslogik, Datenbanksystem, Konkrete Domänen, Aggregation
- Freie Schlagwörter (EN)
- description logic, database system, Concrete Domains, Aggregation
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788104
- Veröffentlichungsdatum Qucosa
- 18.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0