Satisfiability Checking and Query Answering for Large Ontologies.
Christoph WeidenbachPatrick WischnewskiPublished in: PAAR@IJCAR (2012)
Keyphrases
- query answering
- dl lite
- ontology based data access
- ontology languages
- data exchange
- ontology mappings
- data integration
- data complexity
- answering queries
- transitive roles
- conjunctive queries
- integrity constraints
- incomplete information
- semantic web
- query rewriting
- description logics
- knowledge base
- heterogeneous data
- inconsistent databases
- datalog programs
- owl dl
- query answers
- schema mappings
- domain ontology
- databases
- data integration systems
- xml data exchange
- knowledge representation
- ontology matching
- owl ontologies
- information integration
- regular path queries
- query relaxation
- case study
- data mining