A Parallel Reasoner for the Description Logic ALC

Kejia Wu, Volker Haarslev
2012 International Workshop on Description Logics  
Multi-processor/core systems have become ubiquitous but the vast majority of OWL reasoners can process ontologies only sequentially. This observation motivates our work on the design and evaluation of Deslog, a parallel tableau-based description logic reasoner for ALC. A first empirical evaluation for TBox classification demonstrates that Deslog's architecture supports a speedup factor that is linear to the number of utilized processors/cores.
dblp:conf/dlog/WuH12 fatcat:nzg6zxi5qnegvdja3bbc5xykgu