The Living Semantic Platform (LSP) is a web-based and collaborative development environment for lightweight ontologies based on OWL2 QL. Moreover, it includes an integrated OWL2 QL reasoner which allows for efficient query answering based on SPARQL queries.
Our approach follows the idea of adapting a tableaux algorithm for explaining subsumption and unsatisfiability as suggested in [1, 4]. The explanation follows the proof and uses the structure of a tableaux tree for the production of natural-language explanations. Our method covers the DL SHIN including GCIs. We rely on a data structure for annotated terms… (More)