Optimizing Description Logic Reasoning for the Service Matchmaking and Composition.
Marian BabikLadislav HluchýPublished in: Comput. Informatics (2008)
Keyphrases
- description logics
- semantic matchmaking
- web service composition
- reasoning tasks
- reasoning problems
- reasoning systems
- service description
- expressive description logics
- web services
- knowledge base
- reasoning mechanism
- computational properties
- service discovery
- knowledge representation and reasoning
- service composition
- knowledge representation
- knowledge representation systems
- reasoning services
- semantic web services
- computing least common subsumers
- service selection
- ontology reasoning
- knowledge representation formalisms
- number restrictions
- owl dl
- semantic web ontologies
- mathcal shiq
- semantic web
- knowledge representation languages
- service oriented
- model theoretic
- web ontology language
- dl lite
- snomed ct
- web service discovery
- ontology languages
- artificial intelligence
- service oriented architecture
- conceptual graphs
- first order logic
- description logic programs
- expert systems
- formal ontologies
- biomedical ontologies
- automated reasoning