Michel Ludwig. Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. In Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller, editors, Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. Volume 1207 of CEUR Workshop Proceedings, pages 1-7, CEUR-WS.org, 2014. [doi]
Abstract is missing.