TITLE: The logical aspects of Description Logics

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

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

DATE: Tuesday 10th April 2007

TIME: 12:00:00

PLACE: CSE Seminar Room, Level 1, K17

ABSTRACT:

In this talk I will discuss the relationships between description logics and
other well known logic formalisms: normal modal logics, hybrid logics,
propositional dynamic logics, mu-calculus, fragments of first order logics,
such as L2 and C2, the guarded fragment. I will also introduce the
combination of modal logics with temporal logics (LTL and interval logics).

BIOGRAPHY OF SPEAKER:

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
http://www.cse.unsw.edu.au/db/ai/seminars/list/index.html

Host:

Tommie Meyer

Seminar Convenor:

Van Hai Ho