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

Carsten Lutz, Maja Milicic

Browse the full TABLEAUX paper archive.