Temporal query entailment in the Description Logic SHQ.
Franz BaaderStefan BorgwardtMarcel LippmannPublished in: J. Web Semant. (2015)
Keyphrases
- description logics
- logical implication
- answering queries
- automated reasoning
- functional dependencies
- knowledge base
- deductive databases
- computational properties
- refinement operators
- query processing
- semantic web
- concept descriptions
- dl lite
- computing least common subsumers
- knowledge representation
- reasoning problems
- ontology languages
- reasoning mechanism
- data sources
- temporal constraints
- database
- reasoning tasks
- query evaluation
- snomed ct
- relational queries
- query rewriting
- database systems
- query answering
- temporal information
- knowledge representation languages
- temporal reasoning