1 citations · 1 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
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…
cs.LO2021
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…