conftrace_

2exptime complexity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inverse role (1) query conservativity (1) automata technique (1) horn logic (1) conservative extension (1) horn description logic (1) automata theory (1) query answering (1) description logic (1) computational complexity (1)

Papers

Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017