Base Revision in Description Logics

------------------------------

-----------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Base Revision in Description Logics

Palestrante: Márcio Moretto Ribeiro

Data e Local: dia 7.05.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.


Todos são benvindos