Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
scientific article; zbMATH DE number 7855143
scientific article