Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract.
Marco ConsoleMaurizio LenzeriniPublished in: Description Logics (2014)
Keyphrases
- extended abstract
- global consistency
- ontology based data access
- query answering
- consistency checking
- path consistency
- set intersection
- temporal constraints
- convex constraints
- query rewriting
- tractable subclasses
- description logics
- databases
- temporal reasoning
- expert systems
- constraint propagation
- data exchange
- heuristic search
- data integration
- data warehouse