An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.

Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jrgen Profitlich, Enrico Franconi

Browse the full KR paper archive.