Query and Predicate Emptiness in Description Logics.
Franz BaaderMeghyn BienvenuCarsten LutzFrank WolterPublished in: KR (2010)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- ontology based data access
- transitive roles
- dl lite
- computational properties
- query processing
- response time
- reasoning tasks
- semantic web
- reasoning problems
- concept descriptions
- knowledge representation and reasoning
- database
- query evaluation
- first order logic
- exptime complete
- computing least common subsumers
- data sources
- user queries
- knowledge representation formalisms
- fuzzy description logics
- complex queries
- owl dl
- number restrictions
- answering queries
- database queries
- conjunctive queries
- expressive power
- query complexity
- reasoning services
- knowledge representation languages
- computational complexity
- artificial intelligence