Eliminating Concepts and Roles From Ontologies in Expressive Descriptive Logics

Computational Intelligence - United Kingdom
doi 10.1111/j.1467-8640.2012.00442.x