Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
scientific article; zbMATH DE number 6913830
scientific article