Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.
Tommaso Di NoiaEugenio Di SciascioFrancesco M. DoniniPublished in: J. Artif. Intell. Res. (2007)
Keyphrases
- semantic matchmaking
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- semantic web
- web services
- ontology languages
- semantic analysis
- commonsense reasoning
- service discovery
- snomed ct
- dl lite
- computational properties
- np complete
- model theoretic
- reasoning problems
- high level
- autoepistemic logic
- web service discovery