Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.
Mathew JosephGabriel M. KuperLuciano SerafiniPublished in: RR (2014)
Keyphrases
- query answering
- data exchange
- ontology languages
- ontology mappings
- knowledge base
- open world
- owl ontologies
- answering queries
- knowledge representation
- data complexity
- incomplete information
- data integration
- integrity constraints
- semantic web
- conjunctive queries
- tuple generating dependencies
- data integration systems
- knowledge management
- production rules
- inconsistent databases
- domain knowledge
- conjunctive query answering
- databases
- datalog programs
- query rewriting
- dl lite
- data model
- consistent query answering
- association rules
- metadata
- ontology based data access
- query answers
- rdf graphs
- data sources
- formal semantics
- xml schema