Computing Least Common Subsumers in Description Logics with Existential Restrictions.

Franz Baader, Ralf Ksters, Ralf Molitor

Browse the full IJCAI paper archive.