Reasoning techniques in DatalogMTL
DatalogMTL is a recently introduced extension of Datalog with operators from metric temporal logic (MTL). It allows for performing complex temporal reasoning tasks over the rational timeline, which makes it suitable for many practical applications. Although the main reasoning tasks in DatalogMTL are...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
CEUR Workshop Proceedings
2022
|
| _version_ | 1826309276838133760 |
|---|---|
| author | Wałega, PA Zawidzki, M Cuenca Grau, B |
| author_facet | Wałega, PA Zawidzki, M Cuenca Grau, B |
| author_sort | Wałega, PA |
| collection | OXFORD |
| description | DatalogMTL is a recently introduced extension of Datalog with operators from metric temporal logic (MTL). It allows for performing complex temporal reasoning tasks over the rational timeline, which makes it suitable for many practical applications. Although the main reasoning tasks in DatalogMTL are decidable, they have high computational complexity, and so, developing practically efficient reasoning techniques is challenging. Consequently, a number of approaches have been recently established; some of them have already been implemented and tested experimentally, but no comparison of these techniques has been provided yet. To fill this gap, we present an overview of reasoning techniques in DatalogMTL, sketch relations between them, and discuss their properties. Moreover, we present our ongoing research in this area and possible future directions thereof. |
| first_indexed | 2024-03-07T07:33:18Z |
| format | Conference item |
| id | oxford-uuid:5ad1df3d-7a4c-496d-a9ed-0830e3e88639 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T07:33:18Z |
| publishDate | 2022 |
| publisher | CEUR Workshop Proceedings |
| record_format | dspace |
| spelling | oxford-uuid:5ad1df3d-7a4c-496d-a9ed-0830e3e886392023-02-15T11:35:29ZReasoning techniques in DatalogMTLConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5ad1df3d-7a4c-496d-a9ed-0830e3e88639EnglishSymplectic ElementsCEUR Workshop Proceedings2022Wałega, PAZawidzki, MCuenca Grau, BDatalogMTL is a recently introduced extension of Datalog with operators from metric temporal logic (MTL). It allows for performing complex temporal reasoning tasks over the rational timeline, which makes it suitable for many practical applications. Although the main reasoning tasks in DatalogMTL are decidable, they have high computational complexity, and so, developing practically efficient reasoning techniques is challenging. Consequently, a number of approaches have been recently established; some of them have already been implemented and tested experimentally, but no comparison of these techniques has been provided yet. To fill this gap, we present an overview of reasoning techniques in DatalogMTL, sketch relations between them, and discuss their properties. Moreover, we present our ongoing research in this area and possible future directions thereof. |
| spellingShingle | Wałega, PA Zawidzki, M Cuenca Grau, B Reasoning techniques in DatalogMTL |
| title | Reasoning techniques in DatalogMTL |
| title_full | Reasoning techniques in DatalogMTL |
| title_fullStr | Reasoning techniques in DatalogMTL |
| title_full_unstemmed | Reasoning techniques in DatalogMTL |
| title_short | Reasoning techniques in DatalogMTL |
| title_sort | reasoning techniques in datalogmtl |
| work_keys_str_mv | AT wałegapa reasoningtechniquesindatalogmtl AT zawidzkim reasoningtechniquesindatalogmtl AT cuencagraub reasoningtechniquesindatalogmtl |