基于间断区间的时间本体表示及应用

Representation and application of interval-gap-based time ontology

通过间断区间的时态理论扩展了OWL-Time,用在本体中表达单个事件带间断时区的情况。在本体中定义了间断区间概念以及间断区间的时态关系,并以物流领域运输事件的表示为例阐述了领域中基于间断区间的时间知识在本体中的表示方式。通过定义Jena中的原语、规则以及扩展对推理模型的操作构建了相应的推理机,对推理机进行实验检验,不仅验证了推理机运行的正确性,同时也保证了时间知识在本体和规则中表示的正确性,解决了带间断区间的时态知识在语义网中表示和推理的问题。

Interval-gap-based theory was proposed to extend OWL-Time to represent the situation of a single event with gap-intervals and ontology.The concept and temporal relation in ontology were defoned based on interval-gap-based theory and the application of this representation in the domain was specified by the representation of transport event in logistics.The reasoner for the extension was built by defining the primitives rules and extending the operation on inference model in Jena.The experiments on the reasoner not only verify the correctness of the reasoner but also ensure the correctness of temporal knowledge represented in ontology and rules.With the method in this paper the problem of interval-gap-based temporal knowledge representation and reasoning is solved.