Reasoning Tasks and Mediation for Choreography and Orchestration in WSMO.
Michael StollbergPublished in: WIW (2005)
Keyphrases
- reasoning tasks
- service oriented architecture
- semantic web services
- service discovery
- web services
- service oriented
- description logics
- logic programming
- temporal reasoning
- answer set programming
- event calculus
- automated reasoning
- business process
- situation calculus
- business processes
- service composition
- bucket elimination
- abductive reasoning
- logic programs
- distributed systems
- general purpose
- knowledge representation
- reasoning problems
- temporal information
- probabilistic model
- temporal constraints
- temporal logic
- knowledge base
- quantified boolean formulas
- data mining