A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows

Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer. A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. In Stefan Fischer, Erik Maehle, Rüdiger Reischuk, editors, Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings. Volume 154 of LNI, pages 3135-3149, GI, 2009.

Abstract

Abstract is missing.