Journal article icon

Journal article

Stream reasoning with DatalogMTL

Abstract:

We study stream reasoning in DatalogMTL—an extension of Datalog with metric temporal operators. We propose a sound and complete stream reasoning algorithm that is applicable to forwardpropagating DatalogMTL programs, in which propagation of derived information towards past time points is precluded. Memory consumption in our generic algorithm depends both on the properties of the rule set and the input data stream; in particular, it depends on the distances between timestamps occurring in data...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1016/j.websem.2023.100776

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0003-2922-0472
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/S019111/1 RG95975
EP/S032347/1
Publisher:
Elsevier
Journal:
Journal of Web Semantics More from this journal
Volume:
76
Article number:
100776
Publication date:
2023-02-15
Acceptance date:
2023-02-05
DOI:
ISSN:
1570-8268
Language:
English
Keywords:
Pubs id:
1327352
Local pid:
pubs:1327352
Deposit date:
2023-02-06

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP