Doctoral Seminar: Zixi Quan

Speaker: Zixi Quan

Supervisors: Dr. V. Haarslev

Examining Committee: Drs. D. Goswami, C. Wang, Y. Yan

Title: A Parallel Computing Architecture for High-Performance OWL Reasoning

Date: Thursday, March 22, 2018

Time: 10:15 a.m.

Place: EV 3.309

ABSTRACT

The Web Ontology Language (OWL) is a widely used knowledge representation language for describing knowledge in application domains by using classes, properties, and individuals. Ontology classification is an important and widely used service that computes a taxonomy of all classes occurring in an ontology. It can require significant amounts of runtime, but most OWL reasoners do not support any kind of parallel processing. We present a novel thread-level parallel architecture for ontology classification, which is ideally suited for shared-memory SMP servers, but does not rely on locking techniques and thus avoids possible race conditions. We evaluated our prototype implementation with a set of real-world ontologies. Our experiments demonstrate a very good scalability resulting in a speedup that is linear to the number of available cores.