What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
Abstract
Based on the research done in the last decade, attempts have been made to propose description logics as unifying formalisms for the various class-based representation languages used in different areas. These attempts have made apparent that sound, complete, and decidable description logics still suffer from several limitations, regarding modeling classes of aggregate objects, expressing general inclusion axioms, and the ability of navigating links between classes. In this paper we make description logics accomplish the necessary leap in order to become suitable for the new challenging applications they are faced with. In particular, we propose a powerful description logic overcoming the above limitations and we show that its reasoning tasks are decidable in worst case exponential time.
Cite
Text
De Giacomo and Lenzerini. "What's in an Aggregate: Foundations for Description Logics with Tuples and Sets." International Joint Conference on Artificial Intelligence, 1995.Markdown
[De Giacomo and Lenzerini. "What's in an Aggregate: Foundations for Description Logics with Tuples and Sets." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/giacomo1995ijcai-aggregate/)BibTeX
@inproceedings{giacomo1995ijcai-aggregate,
title = {{What's in an Aggregate: Foundations for Description Logics with Tuples and Sets}},
author = {De Giacomo, Giuseppe and Lenzerini, Maurizio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {801-807},
url = {https://mlanthology.org/ijcai/1995/giacomo1995ijcai-aggregate/}
}