"Number Restrictions on Complex Roles in Description Logics: A Preliminary ..."

Franz Baader, Ulrike Sattler (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics