Computing Least Common Subsumers in Description Logics with Existential Restrictions (1999)

by Franz Baader , Ralf Küsters , Ralf Molitor
Citations:121 - 30 self