ALC(F) A New Description Logic for Spatial Reasoning in Images
Hudelot, Céline; Atif, Jamal; Bloch, Isabelle, ALC(F) A New Description Logic for Spatial Reasoning in Images, in Agapito, Lourdes; Bronstein, Michael M.; Rother, Carsten, Computer Vision - ECCV 2014 Workshops. Proceedings, Part II, Springer : Cham, p. 370-384. 10.1007/978-3-319-16181-5_26
TypeCommunication / Conférence
Conference title13th European Conference on Computer Vision (ECCV)
Book titleComputer Vision - ECCV 2014 Workshops. Proceedings, Part II
Book authorAgapito, Lourdes; Bronstein, Michael M.; Rother, Carsten
MetadataShow full item record
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Abstract (EN)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.
Subjects / KeywordsSpatial reasoning; Ontology-based image understanding; Description logics
Showing items related by title and author.
Abductive reasoning for image interpretation based on spatial concrete domains and description logics Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2016) Communication / Conférence
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline (2018) Article accepté pour publication ou publié
Raisonnement abductif en logique de description exploitant les domaines concrets spatiaux pour l'inteprétation d'images Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2017) Article accepté pour publication ou publié
Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2015) Communication / Conférence
Some relationships between fuzzy sets, mathematical morphology, rough sets, F-transforms, and formal concept analysis Atif, Jamal; Bloch, Isabelle; Hudelot, Céline (2016) Article accepté pour publication ou publié