
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
View/ Open
Type
Communication / ConférenceConference title
13th European Conference on Computer Vision (ECCV)Conference date
2014-09Conference city
ZurichConference country
SwitzerlandBook title
Computer Vision - ECCV 2014 Workshops. Proceedings, Part IIBook author
Agapito, Lourdes; Bronstein, Michael M.; Rother, CarstenPublisher
Springer
Published in
Cham
ISBN
978-3-319-16181-5
Pages
370-384
Publication identifier
Metadata
Show full item recordAuthor(s)
Hudelot, CélineAtif, Jamal
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Bloch, Isabelle

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 / Keywords
Spatial reasoning; Ontology-based image understanding; Description logicsRelated items
Showing items related by title and author.
-
Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2016) Communication / Conférence
-
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Hudelot, Céline (2018) Article accepté pour publication ou publié
-
Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2017) Article accepté pour publication ou publié
-
Yang, Yifan; Atif, Jamal; Bloch, Isabelle (2015) Communication / Conférence
-
Atif, Jamal; Bloch, Isabelle; Hudelot, Céline (2016) Article accepté pour publication ou publié