Skip to content
conftrace_

query conservativity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inverse role (1) automata technique (1) 2exptime complexity (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