Representation and application of interval-gap-based time ontology

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.