CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

Eleftherios Anagnostopoulos, Euripides G M Petrakis, Sotirios Batsakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014
PublisherIEEE Computer Society
Pages309-315
Number of pages7
Volume2014-December
ISBN (Electronic)9781479965724
DOIs
Publication statusPublished - 12 Dec 2014
Externally publishedYes
Event26th IEEE International Conference on Tools with Artificial Intelligence - Limassol, Cyprus
Duration: 10 Nov 201412 Nov 2014
Conference number: 26

Conference

Conference26th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2014
CountryCyprus
CityLimassol
Period10/11/1412/11/14

    Fingerprint

Cite this

Anagnostopoulos, E., Petrakis, E. G. M., & Batsakis, S. (2014). CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL. In Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014 (Vol. 2014-December, pp. 309-315). [6984490] IEEE Computer Society. https://doi.org/10.1109/ICTAI.2014.54