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

by Franz Baader , Ralf Küsters , Ralf Molitor
Citations:89 - 24 self