Reasoning on Activity-centered Semantics in Request-Service Matchmaking.
Alexandra GalatescuTaisia GreceanuCristian NeicuDoina EnachePublished in: IDC (2007)
Keyphrases
- service description
- service discovery
- semantic web services
- web services
- service composition
- web service discovery
- semantic descriptions
- service oriented architecture
- semantic matchmaking
- service selection
- reasoning tasks
- proof theory
- open world
- conceptual graphs
- computational properties
- knowledge base
- default rules
- web service composition
- human activities
- reasoning mechanisms
- service oriented
- graphical representation
- life cycle
- reasoning services
- service requests
- reasoning process
- business processes
- service providers
- description logics
- reasoning problems
- semantic analysis
- knowledge representation
- logical framework
- knowledge sharing
- default reasoning
- fuzzy description logics
- automated reasoning
- proof theoretic
- formal semantics