conftrace_

datalog rewriting

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

horn logic (2) existential rule (2) query answering (2) description logic (2) knowledge representation (2) ontology-mediated query answering (1) ontology entailment (1) role chain axiom (1) description logic ontology (1) pddl compilation (1)

Papers

A Datalog Rewriting Algorithm for Warded Ontologies IJCAI 2025 Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019