论文标题
拓扑信息的时间序列的可拖动片段
Tractable Fragments of Temporal Sequences of Topological Information
论文作者
论文摘要
在本文中，我们关注拓扑信息的定性时间序列。我们首先考虑长度大于3的拓扑时间序列的上下文描述了连续时间点的区域演变。我们表明，没有笛卡尔子类包含代数关闭决定令人满意的所有基本关系和普遍关系。但是，我们通过放弃包含非区域适当零件关系的关系而不包含切向零件关系的关系来确定一些可拖动的子类。然后，我们为时间序列形式化了一种替代语义。我们将自己置于描述时间分配的区域演变（即瞬间和间隔的交替）的拓扑时间序列的背景下。在这种情况下，我们确定了大型的可拖动片段。
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.
