Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation
Jamal Atif, Céline Hudelot, Isabelle Bloch · 2011
Abstract. We propose an original way of enriching Description Logics with abduction reasoning services by computing the best explanations of an observation through mathematical morphology (using erosions) over the Concept Lattice of a background theory. The intended application is scene understanding and spatial reasoning.