Towards automated web service composition with fluent calculus and domain ontologies.
Ioan SalomieViorica R. ChifuIoana HarsaPublished in: iiWAS (2008)
Keyphrases
- domain ontology
- fluent calculus
- automated web service composition
- web service composition
- situation calculus
- ai planning
- programming language
- reasoning about actions
- domain knowledge
- predicate logic
- semi automatic
- domain specific
- service composition
- web services
- data sources
- belief update
- integer programming
- semantic information
- knowledge representation and reasoning
- domain experts
- conceptual graphs
- heuristic search
- text mining
- petri net
- owl ontologies
- description language
- planning problems
- domain independent
- search space
- high level
- databases
- default theories
- logic programming
- planning domains