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 |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| 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}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 16:34 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},
}
