Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
scientific article; zbMATH DE number 7628195