DBLP:conf/ecai/BorgidaFH00

Has publishing details pp. 209-213, 2000

Has title Explaining ALC Subsumption

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ecai/ecai2000.html#BorgidaFH00

Has where published ECAI

Has year 2000

Has author Alexander Borgida +, Enrico Franconi +, Ian Horrocks +

Has identifier DBLP:conf/ecai/BorgidaFH00 +

Categories Proceeding Paper +