Reasoning and Queries over Conceptual Data Models
Alessandro Artale (KRDB Research Centre - Faculty of Computer Science, Free University of Bozen-Bolzano)
Info
|
Date |
22nd May 2012 (week 5th, Trinity Term 2012) |
|
Time |
11:30 |
|
Place |
147 |
Abstract
The talk presents results based on encoding various fragments of the Extended Entity-Relationship (EER) or the UML modelling language to Description Logic and, in particular, to the lightweight DL-Lite logics. Results are presented both on combined complexity for checking the satisfiability of a schema and on data complexity for query answering under the constraints expressed by the schema. Schema language constructors include ISA between entities and relationships, disjointness and covering of entities and relationships, cardinality constraints for entities participating in relationships and their refinements as well as multiplicity constraints for attributes.
Speaker bio
Alessandro Artale is an Assistant Professor in the Faculty of Computer Science at the Free University of Bolzano where he teaches graduate and undergraduate courses. He got a PhD in Computer Science from the University of Florence in 1994. He published more than 70 papers in international journals and conferences and as book chapters. He acted as both Chair and PC member both in International Conferences, and as editor of both proceedings and journal's special issues. His research has been funded by the European Community and by National funds. His main research subject concerns description logics, temporal logic, automated reasoning, ontologies and conceptual modeling. A particular emphasis is devoted to the formalization of conceptual modeling tasks in domains with high semantic complexity and characterized by a dynamic aspect.Further info
|
Related series |
|
