Scalable Reasoning by Abstraction Beyond DL-Lite.
Birte GlimmYevgeny KazakovTrung-Kien TranPublished in: RR (2016)
Keyphrases
- dl lite
- fuzzy description logics
- description logics
- reasoning tasks
- query answering
- reasoning systems
- knowledge base
- knowledge representation
- owl dl ontology
- computational properties
- data complexity
- reasoning services
- knowledge representation and reasoning
- computational complexity
- first order logic
- number restrictions
- automated reasoning
- answer set programming
- expressive power
- temporal reasoning
- logic programming
- databases
- natural language
- answering queries
- special case
- query rewriting
- semantic web
- data exchange