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.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.