• DocumentCode
    188560
  • Title

    CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

  • Author

    Anagnostopoulos, Eleftherios ; Petrakis, Euripides G. M. ; Batsakis, Sotirios

  • Author_Institution
    Sch. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
  • fYear
    2014
  • fDate
    10-12 Nov. 2014
  • Firstpage
    309
  • Lastpage
    315
  • 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
    inference mechanisms; knowledge representation languages; Allen relations; CHRONOS reasoner; OWL; Web ontology language; path consistency; qualitative temporal information; qualitative temporal reasoning; Cognition; Engines; Knowledge based systems; OWL; Ontologies; Resource description framework; Semantics; Performance; Qualitative Temporal Reasoning; Temporal Ontology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on
  • Conference_Location
    Limassol
  • ISSN
    1082-3409
  • Type

    conf

  • DOI
    10.1109/ICTAI.2014.54
  • Filename
    6984490