CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

Eleftherios Anagnostopoulos; Euripides G M Petrakis; Sotirios Batsakis

doi:10.1109/ICTAI.2014.54

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 proceeding › Conference contribution › peer-review

7 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 language	English
Title of host publication	Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014
Publisher	IEEE Computer Society
Pages	309-315
Number of pages	7
Volume	2014-December
ISBN (Electronic)	9781479965724
DOIs	https://doi.org/10.1109/ICTAI.2014.54
Publication status	Published - 12 Dec 2014
Externally published	Yes
Event	26th IEEE International Conference on Tools with Artificial Intelligence - Limassol, Cyprus Duration: 10 Nov 2014 → 12 Nov 2014 Conference number: 26

Conference

Conference	26th IEEE International Conference on Tools with Artificial Intelligence
Abbreviated title	ICTAI 2014
Country/Territory	Cyprus
City	Limassol
Period	10/11/14 → 12/11/14

Access to Document

10.1109/ICTAI.2014.54Licence: Other

Cite this

@inproceedings{a0c4bdb9a1b24fc4a72da1bde19ea290,

title = "CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL",

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.",

keywords = "Performance, Qualitative Temporal Reasoning, Temporal Ontology",

author = "Eleftherios Anagnostopoulos and Petrakis, {Euripides G M} and Sotirios Batsakis",

note = "No record of this in Eprints. HN 29/11/2017; 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 ; Conference date: 10-11-2014 Through 12-11-2014",

year = "2014",

month = dec,

day = "12",

doi = "10.1109/ICTAI.2014.54",

language = "English",

volume = "2014-December",

pages = "309--315",

booktitle = "Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014",

publisher = "IEEE Computer Society",

address = "United States",

}

Anagnostopoulos, E, Petrakis, EGM & 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, 6984490, IEEE Computer Society, pp. 309-315, 26th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, 10/11/14. https://doi.org/10.1109/ICTAI.2014.54

CHRONOS : Improving the Performance of Qualitative Temporal Reasoning in OWL. / Anagnostopoulos, Eleftherios; Petrakis, Euripides G M; Batsakis, Sotirios.

Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. Vol. 2014-December IEEE Computer Society, 2014. p. 309-315 6984490.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - CHRONOS

T2 - 26th IEEE International Conference on Tools with Artificial Intelligence

AU - Anagnostopoulos, Eleftherios

AU - Petrakis, Euripides G M

AU - Batsakis, Sotirios

N1 - Conference code: 26

PY - 2014/12/12

Y1 - 2014/12/12

N2 - 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.

AB - 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.

KW - Performance

KW - Qualitative Temporal Reasoning

KW - Temporal Ontology

UR - http://www.scopus.com/inward/record.url?scp=84946547986&partnerID=8YFLogxK

U2 - 10.1109/ICTAI.2014.54

DO - 10.1109/ICTAI.2014.54

M3 - Conference contribution

AN - SCOPUS:84946547986

VL - 2014-December

SP - 309

EP - 315

BT - Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014

PB - IEEE Computer Society

Y2 - 10 November 2014 through 12 November 2014

ER -

CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this