Completion Graph Caching for Expressive Description Logics

Andreas Steigmiller, Birte Glimm, Thorsten Liebig. Completion Graph Caching for Expressive Description Logics. In Diego Calvanese, Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Bibliographies