Description Logics with Symbolic Number Restrictions.

Franz Baader, Ulrike Sattler

Browse the full ECAI paper archive.