Reasoning

Wednesday, October 14, 2015 - 11:00 to 12:30
Session Room: 
Berks
Session Chair: 
Pascal Hitzler

Papers

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]