The Open Street Map (OSM) project is one of the challeng- ing projects in the field of the Web of Data. It provides free access to large and collaborative source of spatial data. Mainly it is used for ren- dering maps visualization, but can also include Points Of Interest (POI) to identify specific features of a particular region. We use OSM to pose queries on the map based on Temporal Logic formulae able to retrieve paths satisfying the user's needs in term of POIs. The region of interest is extracted from the map and encoded in XML graph of the Uppaal model checker syntax. The basic idea is to define a query language for OSM specifying user requirements about the route to select between a source and a destination.
A Temporal Logic-based approach to query Open Street Map / Mongiello, Marina; DI NOIA, Tommaso; DI SCIASCIO, Eugenio. - (2015), pp. 96-103. (Intervento presentato al convegno 23nd Italian Symposium on Advanced Database Systems, SEBD 2015 tenutosi a Gaeta, Italy nel June 14-17, 2015).
A Temporal Logic-based approach to query Open Street Map
MONGIELLO, Marina;DI NOIA, Tommaso;DI SCIASCIO, Eugenio
2015-01-01
Abstract
The Open Street Map (OSM) project is one of the challeng- ing projects in the field of the Web of Data. It provides free access to large and collaborative source of spatial data. Mainly it is used for ren- dering maps visualization, but can also include Points Of Interest (POI) to identify specific features of a particular region. We use OSM to pose queries on the map based on Temporal Logic formulae able to retrieve paths satisfying the user's needs in term of POIs. The region of interest is extracted from the map and encoded in XML graph of the Uppaal model checker syntax. The basic idea is to define a query language for OSM specifying user requirements about the route to select between a source and a destination.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
