Just: a Tool for Computing Justifications w.r.t. EL Ontologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Just: a Tool for Computing Justifications w.r.t. EL Ontologies

Michel LudwigMichel Ludwig
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. EL Ontologies
In Samantha Bail and Birte Glimm and Ernesto Jiménez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller, eds., Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), volume 1207, 1-7, 2014. CEUR Workshop Proceedings
  • KurzfassungAbstract
    We introduce the tool JUST for computing justifications for general concept inclusions w.r.t. ontologies formulated in the description logic EL extended with role inclusions. The computation of justifications in JUST is based on saturating the input axioms under all possible inferences w.r.t. a consequence-based calculus. We give an overview of the implemented techniques and we conclude with an experimental evaluation of the performance of JUST when applied on several practical ontologies.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Lu-ORE-2014,
  author = {Michel {Ludwig}},
  booktitle = {Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)},
  editor = {Samantha {Bail} and Birte {Glimm} and Ernesto {Jim\'{e}nez-Ruiz} and Nicolas {Matentzoglu} and Bijan {Parsia} and Andreas {Steigmiller}},
  pages = {1--7},
  publisher = {CEUR Workshop Proceedings},
  title = {Just: a Tool for Computing Justifications w.r.t.\ EL Ontologies},
  volume = {1207},
  year = {2014},
}