LATPub615: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors= | |FurtherAuthors=Ulrike Sattler | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
| Zeile 15: | Zeile 15: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We show that extending description logics by simple aggregation functions | |Abstract=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. | ||
as available in database systems may lead to undecidability of inference problems | |||
such as satisfiability and subsumption. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 37: | Zeile 33: | ||
year = {1997}, | year = {1997}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Description Logics with Aggregates and Concrete Domains
Franz BaaderFranz Baader, Ulrike SattlerUlrike Sattler
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
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report
- 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},
}
