Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes<pre>@inproceedings{AH-13-a,
  author        = {Serge Autexier and Dieter Hutter},
  editor        = {Thomas Eiter and Birte Glimm and
Yevgeny Kazakov and Markus Kr\"otzsch},
  booktitle     = {Informal Proceedings of the 26th International Workshop on Description Logics},
  title         = {Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes},
  journal       = {CEUR Workshop Proceedings},
  volume        = {1014},
  publisher     = {Technical University of Aachen (RWTH)},
  address       = {Ulm, Germany},
  pages         = {501-512 },
  month         = {july},
  year          = {2013},
}
</pre>