On Finite Entailment of Non-Local Queries in Description Logics.
Tomasz GogaczVíctor Gutiérrez-BasultoAlbert GutowskiYazmín Ibáñez-GarcíaFilip MurlakPublished in: CoRR (2020)
Keyphrases
- description logics
- dl lite
- knowledge base
- reasoning tasks
- unions of conjunctive queries
- query language
- query processing
- computational properties
- knowledge representation
- database
- knowledge representation formalisms
- reasoning problems
- fuzzy description logics
- semantic web
- query rewriting
- probabilistic databases
- ontology languages
- range queries
- knowledge representation languages
- computing least common subsumers
- query evaluation
- exptime complete
- logic programming
- terminological knowledge
- tableau calculus
- relational queries
- query containment
- answering queries
- query answering
- data sources