Querying of several DL-Lite knowledge bases from various information sources-based polynomial response unification approach.
Ghassen HamdiAbdelmoutia TelliMohamed Nazih OmriPublished in: J. King Saud Univ. Comput. Inf. Sci. (2022)
Keyphrases
- information sources
- dl lite
- description logics
- conjunctive regular path queries
- polynomial hierarchy
- ontology based data access
- query answering
- data complexity
- multiple information sources
- first order logic
- expressive power
- knowledge base
- conjunctive queries
- computational complexity
- query rewriting
- query language
- reasoning tasks
- semantic web
- databases
- answering queries
- query evaluation
- knowledge representation
- data sources
- query processing
- theorem prover
- heterogeneous information sources
- ontology languages
- data exchange
- computational properties
- data model
- theorem proving
- database
- reasoning systems
- search engine
- data sets