Michael Lee, Nicolas Matentzoglu, Bijan Parsia and Uli Sattler
A Multi-Reasoner, Justification-Based Approach to Reasoner Correctness [ESE]
Piero Bonatti, Iliana Petrova and Luigi Sauro
Optimizing the computation of overriding [R]
Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler and Ivan Varzinczak.
Introducing Defeasibility into OWL Ontologies [ESE]
Yong-Bin Kang, Shonali Krishnaswamy and Yuan-Fang Li
R2O2: an Efficient Ranking-based Reasoner for OWL Ontologies [R]
