Seminaïve Materialisation in DatalogMTL

First Author: Wang D

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-21541-4_12

Publication URI: http://dx.doi.org/10.1007/978-3-031-21541-4_12

Type: Book Chapter

Book Title: Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings (2022)

Page Reference: 183-197