Serge Autexier, Dieter Hutter. Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 501-512, CEUR-WS.org, 2013. [doi]
Abstract is missing.