TITLE: An Introduction to Description Logics (Session 2)

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: Wednesday 14th March 2007

TIME: 14:00:00

PLACE: CSE Seminar Room, Level 1, K17

ABSTRACT:

This is the second session of the short course on Description Logics.
This short course is running over 4 sessions, 2 hours for each session,
from 08 Mar 2007 to 29 Mar 2007.

The main effort of the research in knowledge representation is
providing theories and systems for expressing structured knowledge
and for accessing and reasoning with it in a principled way.
In this course we will study Description Logics (DL), an important
powerful class of logic-based knowledge representation languages
(see www.dl.kr.org). The emphasis will be on a rigorous approach to
knowledge representation and building ontologies. After an original
review of the relevant concepts on computational logics, the course
will start with an introduction to Object-Oriented representations in
Information Systems and Artificial Intelligence, which serve as the
main motivations for studying DL. DL will be introduced with its
simplest formalization; the computational properties and algorithms
of the so called structural DL will be analyzed. Then, the course
considers propositional DL: we will study the computational
properties and the reasoning with tableaux calculus. In the second
part of the course, we will consider advanced topics such as the
representation of knowledge bases and ontologies, and the connections
of DL with Modal Logics and First Order Logic.

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