Two-stage Service Representation & Reasoning: from Lightweight Annotations to Comprehensive Semantics.
Stefan DietzeNeil BennHong Qing YuCarlos PedrinaciRonald SiebesDong LiuJohn DominguePublished in: EKAW (Posters and Demos) (2010)
Keyphrases
- lightweight
- reasoning mechanisms
- graphical representation
- service oriented architecture
- reasoning tasks
- mashup
- proof theory
- wireless sensor networks
- default reasoning
- logical framework
- development environments
- open world
- communication infrastructure
- highly expressive
- meta information
- dos attacks
- formal semantics
- description logics
- rfid tags
- truth maintenance systems
- situation calculus
- abstract argumentation
- web services
- knowledge base