- Titel
- Description Logics with Aggregates and Concrete Domains, Part II
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788210
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 98-02
- Erstveröffentlichung
- 1998
- DOI
- https://doi.org/10.25368/2022.78
- Abstract (EN)
- We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min,max,count,sum), which are usually available in database systems. We present decision procedures for the inference problems satisfiability for these Logics-provided that the concrete domain is not too expressive. An example of such a concrete domain is the set of (nonnegative) integers with comparisons (=,≤, ≤n, ...) and the aggregation functions min, max, count.
- This is a new, extended version of a report with the same number. An abridged version has appeared in the Proceedings of the European Conference on Artificial Intelligence, Brighton, UK, 1998.
- Freie Schlagwörter (DE)
- Beschreibungslogik, konkreter Bereich, Aggregationsfunktion, Inferenzproblem
- Freie Schlagwörter (EN)
- Description Logic, concrete domain, aggregation function, inference problem
- 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-788210
- Veröffentlichungsdatum Qucosa
- 19.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0