A Tableau Algorithm for Description Logics with Concrete Domains and GCIs

From International Center for Computational Logic