Login / Signup
Extending Consequence-Based Reasoning to SRIQ.
Andrew Bate
Boris Motik
Bernardo Cuenca Grau
Frantisek Simancik
Ian Horrocks
Published in:
KR (2016)
Keyphrases
</>