Efficient Query Answering over Expressive Inconsistent Description Logics.
Eleni TsalapatiGiorgos StoilosGiorgos B. StamouGeorge KoletsosPublished in: IJCAI (2016)
Keyphrases
- query answering
- description logics
- dl lite
- transitive roles
- tight complexity bounds
- conjunctive query answering
- ontology based data access
- data complexity
- ontology languages
- conjunctive queries
- data exchange
- incomplete information
- double exponential
- inconsistent databases
- integrity constraints
- knowledge representation languages
- data integration
- answering queries
- reasoning tasks
- query rewriting
- knowledge base
- decision procedures
- inverse roles
- consistent query answering
- computational properties
- complexity of query answering
- query containment
- exptime complete
- combined complexity
- semantic web
- databases
- unions of conjunctive queries
- expressive power
- first order logic
- computational complexity