Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes

@inproceedings{pub6946,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes},
    booktitle = {Proceedings of the 26th International Workshop on Description Logics, 2013. International Workshop on Description Logics (DL-13), July 23-26, Ulm, Germany},
    series = {CEUR},
    year = {2013},
    month = {7},
    volume = {1014},
    pages = {501--512},
    publisher = {CEUR Workshop Proceedings}
}