Fred Freitas "The Semantic Web technologies and its interesting reasoning problems"

Понедельник, 1 ноября, комната 203. Начало в 14:00.

Докладчик: Fred Freitas (Informatics Center of the Federal University of Pernambuco, Brazil,).

Тема: The Semantic Web technologies and its interesting reasoning problems.


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.