publication venue for Handling Non-determinism with Description Logics using a Fork/Join Approach. 5:61-85. 2015