MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Wang, Dingmin, Hu, Pan, Wałęga, Przemysław Andrzej, Grau, Bernardo Cuenca
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Wang, Dingmin
Hu, Pan
Wałęga, Przemysław Andrzej
Grau, Bernardo Cuenca
description DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing. Reasoning in DatalogMTL is, however, of high computational complexity, making implementation challenging and hindering its adoption in applications. In this paper, we present a novel approach for practical reasoning in DatalogMTL which combines materialisation (a.k.a. forward chaining) with automata-based techniques. We have implemented this approach in a reasoner called MeTeoR and evaluated its performance using a temporal extension of the Lehigh University Benchmark and a benchmark based on real-world meteorological data. Our experiments show that MeTeoR is a scalable system which enables reasoning over complex temporal rules and datasets involving tens of millions of temporal facts.
doi_str_mv 10.48550/arxiv.2201.04596
format Article
fullrecord <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2201_04596</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2201_04596</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-947b27f0feb50c72dfe5295795d8a3e3e253139d11ac73e1a9723c0be20d0c953</originalsourceid><addsrcrecordid>eNotz8luwjAUhWFvWFS0D9BV_QJJPeTGuDtE6SCBQCj76Ma5oZZCHDlWh7dvC6zO5teRPsbupciLBYB4xPjtP3OlhMxFAba8YestVRQOT3wf0SXvsOcHwikMfjhyP_BnTNiHI__y6YNvKUXveEWnMcS_cjdSxBTidMtmHfYT3V13zqqXdbV6yza71_fVcpNhacrMFqZRphMdNSCcUW1HoCwYC-0CNWlSoKW2rZTojCaJ1ijtRENKtMJZ0HP2cLk9O-ox-hPGn_rfU589-hdBO0Ts</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators</title><source>arXiv.org</source><creator>Wang, Dingmin ; Hu, Pan ; Wałęga, Przemysław Andrzej ; Grau, Bernardo Cuenca</creator><creatorcontrib>Wang, Dingmin ; Hu, Pan ; Wałęga, Przemysław Andrzej ; Grau, Bernardo Cuenca</creatorcontrib><description>DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing. Reasoning in DatalogMTL is, however, of high computational complexity, making implementation challenging and hindering its adoption in applications. In this paper, we present a novel approach for practical reasoning in DatalogMTL which combines materialisation (a.k.a. forward chaining) with automata-based techniques. We have implemented this approach in a reasoner called MeTeoR and evaluated its performance using a temporal extension of the Lehigh University Benchmark and a benchmark based on real-world meteorological data. Our experiments show that MeTeoR is a scalable system which enables reasoning over complex temporal rules and datasets involving tens of millions of temporal facts.</description><identifier>DOI: 10.48550/arxiv.2201.04596</identifier><language>eng</language><subject>Computer Science - Artificial Intelligence ; Computer Science - Databases</subject><creationdate>2022-01</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2201.04596$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2201.04596$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Wang, Dingmin</creatorcontrib><creatorcontrib>Hu, Pan</creatorcontrib><creatorcontrib>Wałęga, Przemysław Andrzej</creatorcontrib><creatorcontrib>Grau, Bernardo Cuenca</creatorcontrib><title>MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators</title><description>DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing. Reasoning in DatalogMTL is, however, of high computational complexity, making implementation challenging and hindering its adoption in applications. In this paper, we present a novel approach for practical reasoning in DatalogMTL which combines materialisation (a.k.a. forward chaining) with automata-based techniques. We have implemented this approach in a reasoner called MeTeoR and evaluated its performance using a temporal extension of the Lehigh University Benchmark and a benchmark based on real-world meteorological data. Our experiments show that MeTeoR is a scalable system which enables reasoning over complex temporal rules and datasets involving tens of millions of temporal facts.</description><subject>Computer Science - Artificial Intelligence</subject><subject>Computer Science - Databases</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotz8luwjAUhWFvWFS0D9BV_QJJPeTGuDtE6SCBQCj76Ma5oZZCHDlWh7dvC6zO5teRPsbupciLBYB4xPjtP3OlhMxFAba8YestVRQOT3wf0SXvsOcHwikMfjhyP_BnTNiHI__y6YNvKUXveEWnMcS_cjdSxBTidMtmHfYT3V13zqqXdbV6yza71_fVcpNhacrMFqZRphMdNSCcUW1HoCwYC-0CNWlSoKW2rZTojCaJ1ijtRENKtMJZ0HP2cLk9O-ox-hPGn_rfU589-hdBO0Ts</recordid><startdate>20220112</startdate><enddate>20220112</enddate><creator>Wang, Dingmin</creator><creator>Hu, Pan</creator><creator>Wałęga, Przemysław Andrzej</creator><creator>Grau, Bernardo Cuenca</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20220112</creationdate><title>MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators</title><author>Wang, Dingmin ; Hu, Pan ; Wałęga, Przemysław Andrzej ; Grau, Bernardo Cuenca</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-947b27f0feb50c72dfe5295795d8a3e3e253139d11ac73e1a9723c0be20d0c953</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Computer Science - Artificial Intelligence</topic><topic>Computer Science - Databases</topic><toplevel>online_resources</toplevel><creatorcontrib>Wang, Dingmin</creatorcontrib><creatorcontrib>Hu, Pan</creatorcontrib><creatorcontrib>Wałęga, Przemysław Andrzej</creatorcontrib><creatorcontrib>Grau, Bernardo Cuenca</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Wang, Dingmin</au><au>Hu, Pan</au><au>Wałęga, Przemysław Andrzej</au><au>Grau, Bernardo Cuenca</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators</atitle><date>2022-01-12</date><risdate>2022</risdate><abstract>DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge representation language that is well-suited for applications in temporal ontology-based query answering and stream processing. Reasoning in DatalogMTL is, however, of high computational complexity, making implementation challenging and hindering its adoption in applications. In this paper, we present a novel approach for practical reasoning in DatalogMTL which combines materialisation (a.k.a. forward chaining) with automata-based techniques. We have implemented this approach in a reasoner called MeTeoR and evaluated its performance using a temporal extension of the Lehigh University Benchmark and a benchmark based on real-world meteorological data. Our experiments show that MeTeoR is a scalable system which enables reasoning over complex temporal rules and datasets involving tens of millions of temporal facts.</abstract><doi>10.48550/arxiv.2201.04596</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.48550/arxiv.2201.04596
ispartof
issn
language eng
recordid cdi_arxiv_primary_2201_04596
source arXiv.org
subjects Computer Science - Artificial Intelligence
Computer Science - Databases
title MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T13%3A31%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=MeTeoR:%20Practical%20Reasoning%20in%20Datalog%20with%20Metric%20Temporal%20Operators&rft.au=Wang,%20Dingmin&rft.date=2022-01-12&rft_id=info:doi/10.48550/arxiv.2201.04596&rft_dat=%3Carxiv_GOX%3E2201_04596%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true