In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP. In particular, we show how the topological 9-intersection model and the direction relations based on projections 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 spatial reasoning in a logical framework

Renso C;
2003

Abstract

In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP. In particular, we show how the topological 9-intersection model and the direction relations based on projections 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.
2003
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Spatial qualitative reasoning
File in questo prodotto:
File Dimensione Formato  
prod_44078-doc_127667.pdf

non disponibili

Descrizione: Qualitative spatial reasoning in a logical framework
Tipologia: Versione Editoriale (PDF)
Dimensione 207.62 kB
Formato Adobe PDF
207.62 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/20.500.14243/39947
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact