Polynomial-Time Reasoning for Semantic Web Service Composition.

Jörg Hoffmann James Scicluna Tomasz Kaczmarek Ingo Weber

Published in: IEEE SCW (2007)

Keyphrases

semantic web service composition
knowledge base
special case
computational complexity
service composition
reasoning process
reasoning systems
knowledge representation
worst case
lower bound
context sensitive
knowledge representation and reasoning
reasoning about actions
reasoning problems
polynomial hierarchy