In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP 18. In particular, we show how the topological 9-intersection model 7 and the direction relations based on projections 16 can be modelled in such a framework. STACLP is a constraint logic programming language where formulae can be annotated with labels (annotations) and where relations between these labels can be expressed by using constraints. Annotations are used to represent both time and space.

Qualitative reasoning with a Spatio-Temporal language

TURINI, FRANCO
2002

Abstract

In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP 18. In particular, we show how the topological 9-intersection model 7 and the direction relations based on projections 16 can be modelled in such a framework. STACLP is a constraint logic programming language where formulae can be annotated with labels (annotations) and where relations between these labels can be expressed by using constraints. Annotations are used to represent both time and space.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/70414
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact