What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 801-806.
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.
@inproceedings{ijcai1995p104,
title = {What's in an Aggregate: Foundations for Description Logics with Tuples and Sets},
author = {De Giacomo, Giuseppe and Lenzerini, Maurizio},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {801--806},
year = {1995},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1995/104},
}
TY - CPAPER TI - What's in an Aggregate: Foundations for Description Logics with Tuples and Sets AU - De Giacomo, Giuseppe AU - Lenzerini, Maurizio T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 801 EP - 806 UR - https://ijcai.org/proceedings/1995/104 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
