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