Abstract:

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL terminologies may define same concept descriptions of a not necessarily same world model. A possible alternative to reason about these concepts is to generate unique concept descriptions in a different terminology. This new terminology needs to be consistently created, trying to deal with the minimal change problem, and moreover, yielding a non-monotonic layer to express ontological knowledge in order to be further updated with new distributed ontologies.

Author affiliation: Moguillansky, Martin Oscar. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina

Author affiliation: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina

Abstract:

In this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.

Author affiliation: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina

Author affiliation: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina

Author affiliation: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina

Author affiliation: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina

Author affiliation: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentina