Login / Signup

Extending Consequence-Based Reasoning to SRIQ.

Andrew BateBoris MotikBernardo Cuenca GrauFrantisek SimancikIan Horrocks
Published in: CoRR (2016)
Keyphrases