"A Tableau Algorithm for Description Logics with Concrete Domains and ..."

Carsten Lutz, Maja Milicic (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics