Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
Federico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: SWAP (2008)
Keyphrases
- service discovery
- abductive logic programming
- ontological reasoning
- logic programs
- computational properties
- domain knowledge
- logic programming
- ontology matching
- web services
- semantic web services
- web service discovery
- answer set programming
- computing environments
- answer sets
- web services discovery
- service oriented architecture
- service composition
- proof procedure
- domain ontology
- expressive power
- model theoretic
- general purpose
- software engineering
- high level
- machine learning