Márcio Moretto Ribeiro

University of Campinas | UNICAMP · Institute of Biology (IB)

The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contrac...

Belief revision has been extensively studied in the last thirty years. While there are many results in the literature comparing different operators from a theoretical point of view, there is no study of how the different operators perform in practice. In this paper, we propose a framework for empirical testing of belief change operators. The idea i...

Previous works have shown that the AGM theory cannot be used as the basis for defining contraction operators for several ontology representation languages. In this paper, we examine the postulate of relevance which has been proposed in the belief revision literature as a more intuitive alternative to the AGM postulate of recovery. Even though relev...

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies i...

This paper presents an ontology reviser plug-in for Prot,eg,e. The plug-in implements several belief base contraction and revision oper- ations for expressive Description Logics. The operations can be selected by choosing the desired properties of the outcome from a menu.

There are two main constructions for contraction in belief bases: partial meet contraction (that depends on the remainder set of the base) and kernel contraction (that depends on the kernel of the base). It is well known that kernel contraction is more general than partial meet contraction. What is shown in the paper is a way to derive the whole re...

Belief Revision deals with the problem of adding new infor- mation 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 rep- resented in description logics and propose new operations that overcome these...

When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Re- vision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards apply- ing belief revision methods to ontologies based on description logics. We depart from...

During the development of an ontology it may be important to know which is the logic underlying that particular ontology, so that the developer knows what the expected complexity of reasoning over it will be. In this paper, we first present an ontology that describes several description logics and then two different classifiers that were implemente...