A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

Cite this paper

@article{Lutz2006ATA, title={A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes}, author={Carsten Lutz and Maja Milicic Brandt}, journal={Journal of Automated Reasoning}, year={2006}, volume={38}, pages={227-259} }