Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes
@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}, }