Journal on Data Semantics X, 133–173. Lecture Notes in
Computer Science 4900. Berlin: Springer. doi.org/10.1007/
Reiter, R. 1984. Towards a Logical Reconstruction of Relational Database Theory. In On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming
Languages, edited by M. Brodie, J. Mylopoulos, and J.
Schmidt, 191–238. Berlin: Springer. doi.org/10.1007/978-1-
Rosati, R. 2011. On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. In Proceedings of
the 22nd International Joint Conference on Artificial Intelligence,
1057–1062. Palo Alto, CA: AAAI Press.
Rosati, R., and Almatelli, A. 2010. Improving Query Answering over DL-Lite Ontologies. In Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, 290–300. Palo Alto, CA: AAAI Press.
Schaerf, A. 1993. On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quan-tification. Journal of Intelligent Information Systems 2: 265–
Wessels, B.; Finn, R. L.; Sveinsdottir, T.; and Wadhwa, K.
2017. Open Data and the Knowledge Society. Amsterdam, The
Netherlands: Amsterdam University Press. doi.org/10.5117/
Maurizio Lenzerini, AAAI and ACM Fellow, is a professor of
computer science and engineering at the University of
Rome, La Sapienza. His research interests include knowledge representation and reasoning, database theory, ontology languages, and reasoning about ontologies. His current
projects focus on ontology-based data management, whose
long-term goal is to exploit knowledge representation and
automated reasoning techniques for addressing data access
and integration issues in big data scenarios.
“AI for K- 12”
An Initiative of AAAI, CSTA, and AI4All
First Workshop to be
held at the AAAI Fall Symposium
Westin Arlington Gateway
For more information, please contact