cfaed Publications

@inproceedings{ludwig14_just,
author = {Michel Ludwig},
title = {Just: a Tool for Computing Justifications w.r.t. EL
Ontologies},
booktitle = {Informal Proceedings of the 3rd International Workshop on OWL
Reasoner Evaluation (ORE 2014)},
year = 2014,
volume = 1207,
pages = {1-7},
editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'e}nez-Ruiz and
Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller},
month = {July},
series = {CEUR Workshop Proceedings},
venue = {Vienna, Austria},
}