A Tableaux-Based Algorithm for ::::SHIQ::::/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 ::::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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.