Description Logic Based Ontology Languages Ian Horrocks Information Systems Group Oxford University Computing Laboratory.
Transitive Roles in Number Restrictions Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin The University of Manchester {kazakov,sattler,zolin}@cs.man.ac.uk.