Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan, Steffen Staab. Process Refinement Validation and Explanation with Ontology Reasoning. In Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu, editors, Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings. Volume 8274 of Lecture Notes in Computer Science, pages 515-523, Springer, 2013. [doi]
Abstract is missing.