A Logic for Temporal Conceptual Modelling
Prof. Enrico Franconi (University of Bozen-Bolzano)
CSL SEMINAR SERIESDATE: 2005-03-30
TIME: 14:00:00 - 15:00:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
In this talk I will introduce the temporal description logic DLRUS, intended for temporal conceptual modelling. I will illustrate its expressive power by providing a systematic formalisation of various temporal entity-relationship conceptual data models appeared in the literature. Then, I will introduce a temporal query language (where queries are non-recursive Datalog programs and atoms are complex DLRUS expressions), and I will analyse the problem of query containment under the constraints defined by a DLRUS conceptual schema. At the end, a brief account of the computational complexity of the various problems involved in this temporal framework will be given.
BIO:
Enrico Franconi is an associate professor at the Faculty of Computer Science of the Free University of Bozen-Bolzano. Enrico Franconi is currently involved as Principal Investigator of the European project SEmantic Webs and AgentS in Integrated Economies (SeWAsIE).
