conftrace_

chase algorithm

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

existential rule (2) query answering (2) metric temporal datalog (1) temporal operator (1) disjunctive rule (1) metric temporal operator (1) stream reasoning (1) metric temporal logic (1) negation handling (1) ontology reasoning (1)

Papers

Answering Queries with Negation over Existential Rules AAAI 2022 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019 Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017