Skip to Main content Skip to Navigation
Conference papers

ALC(F) A New Description Logic for Spatial Reasoning in Images

Abstract : In image interpretation and computer vision, spatial relations between objects and spatial reasoning are of prime importance for recognition and interpretation tasks. Quantitative representations of spatial knowledge have been proposed in the literature. In the Artificial Intelligence community, logical formalisms such as ontologies have also been proposed for spatial knowledge representation and reasoning, and a challenging and open problem consists in bridging the gap between these ontological representations and the quantitative ones used in image interpretation. In this paper, we propose a new description logic, named ALC(F), dedicated to spatial reasoning for image understanding. Our logic relies on the family of description logics equipped with concrete domains, a widely accepted way to integrate quantitative and qualitative qualities of real world objects in the conceptual domain, in which we have integrated mathematical morphological operators as predicates. Merging description logics with mathematical morphology enables us to provide new mechanisms to derive useful concrete representations of spatial concepts and new qualitative and quantitative spatial reasoning tools. It also enables imprecision and uncertainty of spatial knowledge to be taken into account through the fuzzy representation of spatial relations. We illustrate the benefits of our formalism on a model-guided cerebral image interpretation task.
Document type :
Conference papers
Complete list of metadatas

https://hal-centralesupelec.archives-ouvertes.fr/hal-02404394
Contributor : Delphine Le Piolet <>
Submitted on : Wednesday, December 11, 2019 - 12:19:27 PM
Last modification on : Saturday, September 19, 2020 - 4:35:15 AM

Links full text

Identifiers

Citation

Céline Hudelot, Jamal Atif, Isabelle Bloch. ALC(F) A New Description Logic for Spatial Reasoning in Images. 13th European Conference on Computer Vision (ECCV), Sep 2014, Zurich, Switzerland. ⟨10.1007/978-3-319-16181-5_26⟩. ⟨hal-02404394⟩

Share

Metrics

Record views

43