Skip to content
conftrace_

inverse role

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

query conservativity (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