Το work with title CHRONOS: Improving the performance of qualitative temporal reasoning in OWL by Petrakis Evripidis, Sotirios Batsakis, Anagnostopoulos Eleftherios is licensed under Creative Commons Attribution 4.0 International
Bibliographic Citation
Eleftherios Anagnostopoulos, Euripides G.M. Petrakis, Sotirios Batsakis. (2014, Nov.). CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL. Presented at IEEE International Conference on Tools with Artificial Intelligence.[Online]. Available:http://www.intelligence.tuc.gr/~petrakis/publications/CHRONOSv2.pdf
We investigate on potential improvements to reasoning about qualitative temporal information in OWL. Building upon path consistency, the new reasoner design, referred to as CHRONOS, computes a minimal set of relation compositions at run-time (based on a tractable subset of Allen relations) while being sound and complete. The experimental results demonstrate that the two implementation variants of CHRONOS discussed in this work run up to two orders of magnitude faster than SOWL, a temporal reasoner implemented in SWRL.