A Dynamic Description Logic for Semantic Web Service.
Liang ChangFen LinZhongzhi ShiPublished in: SKG (2007)
Keyphrases
- description logics
- semantic web services
- knowledge base
- knowledge representation
- dl lite
- reasoning problems
- semantic web
- computing least common subsumers
- web services discovery
- snomed ct
- owl dl
- reasoning services
- ontology languages
- logical implication
- service discovery
- number restrictions
- software engineering
- database systems