Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
Roman KontchakovLuca PulinaUlrike SattlerThomas SchneiderPetra SelmerFrank WolterMichael ZakharyaschevPublished in: IJCAI (2009)
Keyphrases
- dl lite
- description logics
- query answering
- data complexity
- query rewriting
- expressive power
- first order logic
- computational complexity
- conjunctive queries
- owl dl ontology
- reasoning tasks
- ontology based data access
- ontology languages
- information extraction
- computational properties
- knowledge base
- incomplete information
- data sources
- answering queries
- owl dl
- reasoning services
- data integration
- semantic web
- knowledge representation
- possibility theory
- data model
- relational databases
- database