Bate, Andrew

1 publications

JAIR 2018 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks