1. Absorption for ABoxes

   • Jiewen Wu
   • Alexander Hudek
   • Grant Weddell

   OriginalPaper 03 April 2014 Pages: 215 - 243

2. HermiT: An OWL 2 Reasoner

   • Birte Glimm
   • Ian Horrocks
   • Zhe Wang

   OriginalPaper 23 May 2014 Pages: 245 - 269

3. Implementing and Reasoning About Hash-consed Data Structures in Coq

   • Thomas Braibant
   • Jacques-Henri Jourdan
   • David Monniaux

   OriginalPaper 19 June 2014 Pages: 271 - 304

4. Extended Decision Procedure for a Fragment of HL with Binders

   • Marta Cialdea Mayer

   OriginalPaper 12 June 2014 Pages: 305 - 315