2 citations · 6 across the 6 of their papers we have counts for
6 papers · 1 filter
A TCSP-like decidable constraint language generalising existing cardinal direction relations
Amar Isli
We define a quantitative constraint language subsuming two calculi well-known in QSR (Qualitative Spatial Reasoning): Frank's cone-shaped and projection-based calculi of cardinal d…
Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results
Amar Isli
We consider the well-known family ALC(D) of description logics with a concrete domain, and provide first results on a framework obtained by augmenting ALC(D) atemporal roles and as…
Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation
Amar Isli
We consider the integration of existing cone-shaped and projection-based calculi of cardinal direction relations, well-known in QSR. The more general, integrating language we consi…
A ternary Relation Algebra of directed lines
Amar Isli
We define a ternary Relation Algebra (RA) of relative position relations on two-dimensional directed lines (d-lines for short). A d-line has two degrees of freedom (DFs): a rotatio…
Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes
Amar Isli
The aim of this work is to provide a family of qualitative theories for spatial change in general, and for motion of spatial scenes in particular. To achieve this, we consider a sp…
Integrating cardinal direction relations and other orientation relations in Qualitative Spatial Reasoning
Amar Isli
We propose a calculus integrating two calculi well-known in Qualitative Spatial Reasoning (QSR): Frank's projection-based cardinal direction calculus, and a coarser version of Frek…