A Logical Framework for Web Service Discovery.

Michael Kifer Rubén Lara Axel Polleres Chang Zhao Uwe Keller Holger Lausen Dieter Fensel

Published in: SWS@ISWC (2004)

Keyphrases

logical framework
web service discovery
web services
inference rules
service discovery
reasoning tasks
belief revision
semantic web services
ontology mapping
artificial intelligence
metadata
data model
general purpose
distributed systems
life cycle
situation calculus