DLOG
2010
13 years 2 months ago
2010
In this paper, we revisit the problem of definitorial completeness, i.e., whether a given general TBox T in a description logic (DL) L can be rewritten to an acyclic TBox T in L . ...
MST
2008
13 years 4 months ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...
APPROX
2010
Springer
13 years 4 months ago
2010
Springer
We show that for every n-dimensional lattice L the torus Rn /L can be embedded with distortion O(n
DAGSTUHL
2006
13 years 6 months ago
2006
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...