TITLE: (Description) Logics for Information Modelling and Access -- or -- How to Use an Ontology

PRESENTER: Enrico Franconi, http://www.inf.unibz.it/~franconi/, franconi@inf.unibz.it

AFFILIATION:Faculty of computer science, Free University of Bozen-Bolzano, Italy, www.unibz.it/inf

DATE: Friday 2nd March 2007

TIME: 12:00:00

PLACE: CSE Seminar Room, Level 1, K17


In the talk I will first argue that well-founded conceptual modelling
and ontology design is required to support intelligent information
access and to allow for semantic based information integration. Then,
I will show which are the technical consequences of such choices, and
how the foundational and computational problems to be faced are
non-trivial. The arguments are based on the use of classical logics
and description logics as a formal tools for the framework, and I
will make use of languages and examples taken from the database


Enrico Franconi is an Associate Professor at Faculty of Computer Science,
Free University of Bozen-Bolzano, Italy. A/Prof Franconi is a director
of the European Masters Program in Computational Logic at the Free
University of Bozen-Bolzano. His research interests include:
* Description Logics,
* Knowledge Representation,
* Knowledge Representation and Databases,
o Ontologies and Conceptual Modelling,
o Temporal Logics and Temporal Databases,
o Multi-dimensional Data Models,
o Information Access and Integration,
o Peer-to-Peer Database Systems,
* Computational Logics,
* Artificial Intelligence,
* Natural Language Semantics.

Seminar information is also available at


Tommie Meyer

Seminar Convenor:

Van Hai Ho