Estimating Soundness and Completeness over Queries Over Description Logics.
Martin PeimEnrico FranconiNorman W. PatonPublished in: Description Logics (2002)
Keyphrases
- description logics
- reasoning tasks
- knowledge base
- dl lite
- computational properties
- knowledge representation
- semantic web
- query language
- database
- response time
- query processing
- fuzzy description logics
- knowledge representation formalisms
- complex queries
- concept descriptions
- query rewriting
- range queries
- database queries
- query evaluation
- reasoning problems
- ontology based data access
- knowledge representation and reasoning
- ontology languages
- reasoning services
- number restrictions
- exptime complete
- computing least common subsumers
- unions of conjunctive queries
- query complexity
- first order logic
- query optimization
- data sources
- database systems
- machine learning