1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Finite Based Contraction and Expansion via Models
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of for…
Revising Ontologies via Models: The ALC-formula Case
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of unde…
Mining EL Bases with Adaptable Role Depth
Ricardo Guimarães, Ana Ozaki, Cosimo Persia +1
In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the con…