Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
scientific article; zbMATH DE number 7025879
scientific article