Login / Signup
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
Roman Kontchakov
Luca Pulina
Ulrike Sattler
Thomas Schneider
Petra Selmer
Frank Wolter
Michael Zakharyaschev
Published 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