Márcio Moretto Ribeiro

Márcio Moretto Ribeiro
University of Campinas | UNICAMP · Institute of Biology (IB)

About

9
Publications
664
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
129
Citations
Citations since 2017
0 Research Items
44 Citations
20172018201920202021202220230246810
20172018201920202021202220230246810
20172018201920202021202220230246810
20172018201920202021202220230246810

Publications

Publications (9)
Article
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...
Conference Paper
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...
Article
Full-text available
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...
Article
Full-text available
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...
Conference Paper
Full-text available
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.
Article
Full-text available
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...
Article
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...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...

Network

Cited By