Chan Le Duc, Myriam Lamolle, Olivier Curé. A Tableaux-Based Algorithm for ::::SHIQ::::/mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms. In Grigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan, editors, The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Volume 6643 of Lecture Notes in Computer Science, pages 367-381, Springer, 2011. [doi]
@inproceedings{DucLC11,
title = {A Tableaux-Based Algorithm for ::::SHIQ::::/mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms},
author = {Chan Le Duc and Myriam Lamolle and Olivier Curé},
year = {2011},
doi = {10.1007/978-3-642-21034-1_25},
url = {http://dx.doi.org/10.1007/978-3-642-21034-1_25},
tags = {rule-based},
researchr = {https://researchr.org/publication/DucLC11},
cites = {0},
citedby = {0},
pages = {367-381},
booktitle = {The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I},
editor = {Grigoris Antoniou and Marko Grobelnik and Elena Paslaru Bontas Simperl and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan},
volume = {6643},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-21033-4},
}