Service Specification and Matchmaking Using Description Logic.
M. Birna van RiemsdijkRolf HennickerMartin WirsingAndreas SchroederPublished in: AMAST (2008)
Keyphrases
- description logics
- semantic matchmaking
- service discovery
- web services
- semantic web services
- knowledge base
- knowledge representation languages
- knowledge representation
- web service discovery
- computational properties
- service composition
- service description
- service oriented
- dl lite
- reasoning tasks
- web service composition
- concept descriptions
- computing least common subsumers
- snomed ct
- ontology reasoning
- semantic web
- semantic analysis
- ontology languages
- service oriented architecture
- reasoning problems
- owl dl
- reasoning mechanism
- natural language
- model theoretic
- number restrictions
- expert systems
- machine learning
- np complete