publication venue for A Parallel Framework for Handling Non-determinism with Expressive Description Logics 2014