"Implementing Completion-Based Inferences for the EL-family."

Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics