Decidability of SHI with Transitive Closure of Roles

Chan Le Duc. Decidability of SHI with Transitive Closure of Roles. In Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl, editors, The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings. Volume 5554 of Lecture Notes in Computer Science, pages 368-383, Springer, 2009. [doi]

@inproceedings{Duc09:0,
  title = {Decidability of SHI with Transitive Closure of Roles},
  author = {Chan Le Duc},
  year = {2009},
  doi = {10.1007/978-3-642-02121-3_29},
  url = {http://dx.doi.org/10.1007/978-3-642-02121-3_29},
  researchr = {https://researchr.org/publication/Duc09%3A0},
  cites = {0},
  citedby = {0},
  pages = {368-383},
  booktitle = {The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings},
  editor = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyvönen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Elena Paslaru Bontas Simperl},
  volume = {5554},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02120-6},
}