Composition of Semantic Web services using Linear Logic theorem proving.
Jinghai RaoPeep KüngasMihhail MatskinPublished in: Inf. Syst. (2006)
Keyphrases
- semantic web services
- linear logic
- theorem proving
- proof search
- inference rules
- service description
- web services
- bpel ws
- proof planning
- service discovery
- first order logic
- logical framework
- sequent calculus
- fixed point
- decision procedures
- theorem prover
- automated reasoning
- desirable properties
- logic programming
- proof procedure
- semantic web technologies
- intelligent agents
- semantic annotation
- context awareness
- service oriented
- natural deduction
- life cycle
- consequence finding
- relational databases
- expert systems
- reinforcement learning
- logic programs
- service oriented architecture
- knowledge base