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

Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer

Browse the full GI paper archive.