Matching Concept Descriptions with Existential Restrictions.

Franz Baader, Ralf Ksters

Browse the full KR paper archive.