关键词: 时态知识表示, 间断区间, 本体, OWL-Time, 推理机

Abstract: 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.

Key words: temporal knowledge representation, gap-interval, ontology, OWL-Time, reasoning machine