Понедельник, 1 ноября, комната 203. Начало в 14:00.
Докладчик: Fred Freitas (Informatics Center of the Federal University of Pernambuco, Brazil,).
Тема: The Semantic Web technologies and its interesting reasoning problems.
Abstract
A new web is being settled, the Semantic Web, in order to provide well-defined bodies of
electronic knowledge to annotate web pages. It can enable much more sophisticated search engines
that can come up with actual answers that can even include implicit knowledge, instead of the
current technology, that delivers only web links.
The most expressive language for writing these annotations is based on a semantically
well-defined formalism of description logic, with the aim of assuring a formal semantic
interpretation to each annotation. Description logics are a family of representation languages
composed by a L2 fragment of first-order logic. In this talk, I stress the links of this subject
with logicians' research topics, particularly the interesting and difficult reasoning problems
that arise from it, such as the open world assumption that characterize the Web (in opposition
to the closed world assumption of classical logics), the need for approximate and paraconsistent
reasoning in some situations, to name but a few.
Speaker short bio: Fred Freitas received his PhD in Electrical Engineering from the University
of Santa Catarina, Brazil, in 2002. He is affiliated with the Informatics Center of the Federal
University of Pernambuco, Brazil, and is currently in a sabbatical leave at the University of
Mannheim, Germany. He has active collaborations with the University of Paul Cezanne at Marseille
and INRIA, Montbonnot, in France and the Universities of Karlsruhe, Freiburg and Mannheim in
Germany. His interest areas today comprise ontologies & the semantic web, knowledge representation & reasoning and text mining.
