A Decision Procedure for SHOIQ with Transitive Closure of Roles

Chan Le Duc, Myriam Lamolle, Olivier Curé. A Decision Procedure for SHOIQ with Transitive Closure of Roles. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul T. Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha F. Noy, Chris Welty, Krzysztof Janowicz, editors, The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Volume 8218 of Lecture Notes in Computer Science, pages 264-279, Springer, 2013. [doi]

Authors

Chan Le Duc

This author has not been identified. Look up 'Chan Le Duc' in Google

Myriam Lamolle

This author has not been identified. Look up 'Myriam Lamolle' in Google

Olivier Curé

This author has not been identified. Look up 'Olivier Curé' in Google