Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.
Mathew JosephGabriel M. KuperTill MossakowskiLuciano SerafiniPublished in: Semantic Web (2016)
Keyphrases
- query answering
- tuple generating dependencies
- unions of conjunctive queries
- ontology languages
- data exchange
- ontology mappings
- knowledge base
- open world
- inconsistent databases
- conjunctive queries
- owl ontologies
- data complexity
- tight complexity bounds
- dl lite
- integrity constraints
- knowledge representation
- incomplete information
- data integration
- answering queries
- semantic web
- query containment
- datalog programs
- query rewriting
- production rules
- data model
- databases
- expert systems
- description logics
- knowledge management
- ontology based data access
- function symbols
- transitive closure
- data analysis
- query answers
- rdf graphs
- domain ontology
- closed world
- data sources
- decision procedures