A Tableaux-Based Algorithm for <i>SHIQ</i>\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms.

Chan Le Duc Myriam Lamolle Olivier Curé A Tableaux-Based Algorithm for <i>SHIQ</i>\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms. 367-381 2011 ESWC (1) https://doi.org/10.1007/978-3-642-21034-1_25 conf/esws/2011-1 db/conf/esws/eswc2011-1.html#DucLC11