Acyclicity Conditions and their Application to Query Answering in Description Logics.
Bernardo Cuenca GrauIan HorrocksMarkus KrötzschClemens KupkeDespoina MagkaBoris MotikZhe WangPublished in: KR (2012)
Keyphrases
- query answering
- transitive roles
- dl lite
- description logics
- ontology based data access
- data exchange
- conjunctive query answering
- ontology languages
- data complexity
- conjunctive queries
- answering queries
- integrity constraints
- tight complexity bounds
- data integration
- incomplete information
- query rewriting
- inconsistent databases
- double exponential
- reasoning tasks
- knowledge base
- computational properties
- conceptual models
- schema mappings
- unions of conjunctive queries
- exptime complete
- semantic web
- conceptual modeling
- databases
- query evaluation
- business intelligence
- knowledge representation
- artificial intelligence