conftrace_

conservative extension

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

inverse role (1) query conservativity (1) automata technique (1) 2exptime complexity (1) horn logic (1) horn description logic (1) modular program (1) automata theory (1) logic programming (1) query answering (1)

Papers

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017 Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017