Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.
Giuseppe De GiacomoXavier OriolRiccardo RosatiDomenico Fabio SavoPublished in: J. Artif. Intell. Res. (2021)
Keyphrases
- dl lite
- instance level
- query rewriting
- first order logic
- conjunctive queries
- description logics
- query answering
- data complexity
- expressive power
- query optimization
- model theoretic
- query evaluation
- horn clauses
- integrity constraints
- data exchange
- np complete
- spatial databases
- computational complexity
- answering queries
- query execution
- xpath queries
- database systems
- incomplete information
- inductive logic programming
- formal semantics
- reasoning tasks
- domain knowledge
- knowledge representation
- data integration
- deductive databases
- query language
- special case