Finite Entailment of Local Queries in the Z Family of Description Logics.
Bartosz BednarczykEmanuel KieronskiPublished in: AAAI (2022)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- query processing
- query language
- reasoning tasks
- dl lite
- semantic web
- computational properties
- computing least common subsumers
- reasoning problems
- ontology languages
- unions of conjunctive queries
- concept descriptions
- logic programming
- range queries
- query evaluation
- fuzzy description logics
- np complete
- knowledge representation formalisms
- exptime complete
- database
- owl dl
- answering queries
- special case
- data sources
- complex queries
- artificial intelligence
- relational databases
- query containment
- consistent query answering
- tableau calculus
- ontology based data access