Probabilistic logic encoding of spatial domains

P. Santos, B. Hummel, V. Fenelon, F. G. Cozman

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)


This paper presents a formalisation of a spatial domain in terms of a qualitative spatial reasoning formalism, encoded in a probabilistic description logic. The QSR formalism chosen is a subset of a cardinal direction calculus and the probabilistic description logic used has the relational structures of the well-known ALC language, allied with the inference methods of Bayesian Networks. We consider a scenario consisting of a road navigated by an experimental vehicle equipped with three on-board sensors: A digital map, a GPS and a video camera. This paper presents experiments where the proposed formalism is used to answer queries about driving directions, lanes and vehicles.

Original languageEnglish
Number of pages10
JournalCEUR Workshop Proceedings
Publication statusPublished - 1 Dec 2010
Externally publishedYes
Event1st International Workshop on Uncertainty in Description Logics, UniDL 2010 - Edinburgh, United Kingdom
Duration: 20 Jul 201020 Jul 2010


Dive into the research topics of 'Probabilistic logic encoding of spatial domains'. Together they form a unique fingerprint.

Cite this