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.
|Number of pages||10|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 1 Dec 2010|
|Event||1st International Workshop on Uncertainty in Description Logics, UniDL 2010 - Edinburgh, United Kingdom|
Duration: 20 Jul 2010 → 20 Jul 2010