"Handling Nominals and Inverse Roles using Algebraic Reasoning."

Humaira Farid, Volker Haarslev (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics