71 research outputs found
Tractable Fragments of Temporal Sequences of Topological Information
In this paper, we focus on qualitative temporal sequences of topological
information. We firstly consider the context of topological temporal sequences
of length greater than 3 describing the evolution of regions at consecutive
time points. We show that there is no Cartesian subclass containing all the
basic relations and the universal relation for which the algebraic closure
decides satisfiability. However, we identify some tractable subclasses, by
giving up the relations containing the non-tangential proper part relation and
not containing the tangential proper part relation. We then formalize an
alternative semantics for temporal sequences. We place ourselves in the context
of the topological temporal sequences describing the evolution of regions on a
partition of time (i.e. an alternation of instants and intervals). In this
context, we identify large tractable fragments
SOWL QL: Querying Spatio - Temporal Ontologies in OWL
We introduce SOWL QL, a query language for spatio-temporal information in ontologies. Buildingupon
SOWL (Spatio-Temporal OWL), an ontology for handling spatio-temporal information in OWL, SOWL QL supports querying over qualitative spatio-temporal information (expressed using natural language expressions such as âbeforeâ, âafterâ, ânorth ofâ, âsouth ofâ) rather than merely quantitative information (exact dates,
times, locations). SOWL QL extends SPARQL with a powerful set of temporal and spatial operators, including temporal Allen topological, spatial directional and topological operations or combinations of the above.
SOWL QL maintains simplicity of expression and also, upward and downward compatibility with SPARQL. Query translation in SOWL QL yields SPARQL queries implying that, querying spatio-temporal ontologies using SPARQL is still feasible but suffers from several drawbacks the most important of them being that, queries in SPARQL become particularly complicated and users must be familiar with the underlying spatio-temporal representation (the âN-ary relationsâ or the â4D-fluentsâ approach in this work). Finally, querying in SOWL QL is supported by the SOWL reasoner which is not part of the standard SPARQL translation. The run-time performance of SOWL QL has been assessed experimentally in a real data setting. A critical analysis of its performance is also presented
Where Snow is a Landmark: Route Direction Elements in Alpine Contexts
Route directions research has mostly focused on urban space so far, highlighting human concepts of street networks based on a range of recurring elements such as route segments, decision points, landmarks and actions. We explored the way route directions reflect the features of space and activity in the context of mountaineering. Alpine route directions are only rarely segmented through decision points related to reorientation; instead, segmentation is based on changing topography. Segments are described with various degrees of detail, depending on difficulty. For landmark description, direction givers refer to properties such as type of surface, dimension, colour of landscape features; terrain properties (such as snow) can also serve as landmarks. Action descriptions reflect the geometrical conceptualization of landscape features and dimensionality of space. Further, they are very rich in the semantics of manner of motion
Ontology-driven map generalization
Different users of geospatial information have different requirements of that information. Matching information to users' requirements demands an understanding of the ontological aspects of geospatial data. In this paper, we present an ontology-driven map generalization algorithm, called DMin, that can be tailored to particular users and users' tasks. The level of detail in a generated map is automatically adapted by DMin according to the semantics of the features represented. The DMin algorithm is based on a weighting function that has two components: (1) a geometric component that differs from previous approaches to map generalization in that no fixed threshold values are needed to parameterize the generalization process and (2) a semantic component that considers the relevance of map features to the user. The flexibility of DMin is demonstrated using the example of a transportation network.24
- âŠ