Web Service Composition as Satisfiability Checking in Dynamic Description Logics.
Limin ChenHong HuZhongzhi ShiPublished in: GCC (2009)
Keyphrases
- description logics
- web service composition
- service composition
- knowledge base
- web services
- petri net
- reasoning tasks
- knowledge representation
- ai planning
- computational properties
- dl lite
- knowledge representation formalisms
- reasoning problems
- ontology languages
- model theoretic
- concept descriptions
- description language
- computing least common subsumers
- semantic web
- computational complexity
- knowledge representation languages
- terminological knowledge