Chan Le Duc, Myriam Lamolle, Olivier Curé. A Tableaux-Based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms.
8th Extended Semantic Web Conference (ESWC 2011), May 2011, Heraklion, Crete, Greece. pp.367-381,
⟨10.1007/978-3-642-21034-1_25⟩.
⟨hal-00738380⟩