Login / Signup

A logical framework for modeling and reasoning about semantic web services contract.

Hai LiuQing LiNaijie GuAn Liu
Published in: WWW (2008)
Keyphrases
  • semantic web services
  • logical framework
  • web services
  • inference rules
  • service discovery
  • reasoning tasks
  • life cycle
  • belief revision
  • semantic annotation
  • semantic web technologies