Parallelizing Algebraic Reasoning for the Description Logic SHOQ

Jocelyne Faddoul, Wendy MacCaull. Parallelizing Algebraic Reasoning for the Description Logic SHOQ. In René Witte, Christopher J. O. Baker, Greg Butler, Michel Dumontier, editors, Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013. Volume 1054 of CEUR Workshop Proceedings, pages 20-23, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.