Simancik, Frantisek

2 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

IJCAI 2011 Consequence-Based Reasoning Beyond Horn Ontologies Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks