Dynamic Web Service Assembly Using OWL and a Theorem Prover.

Dru McCandless Leo Obrst Shayn Hawthorne

Published in: ICSC (2009)

Keyphrases

theorem prover
web services
theorem proving
inference rules
first order logic
automated reasoning
automated theorem proving
formal proof
term rewriting
dynamic environments
computer algebra
semantic web technologies
boolean algebra
semantic web
service composition
knowledge base
learning algorithm
data mining