Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models.

Igor de Camargo e Souza Cmara, Anni-Yasmin Turhan

Browse the full JELIA paper archive.