Updating DL-Lite Ontologies Through First-Order Queries.
Giuseppe De GiacomoXavier OriolRiccardo RosatiDomenico Fabio SavoPublished in: ISWC (1) (2016)
Keyphrases
- dl lite
- unions of conjunctive queries
- description logics
- query answering
- first order logic
- data complexity
- query rewriting
- conjunctive queries
- expressive power
- computational complexity
- answering queries
- data exchange
- knowledge base
- owl dl ontology
- query evaluation
- reasoning tasks
- ontology languages
- knowledge representation
- incomplete information
- semantic web
- model theoretic
- database
- deductive databases
- complex queries
- query optimization
- query language
- owl dl
- special case
- ontology based data access
- complexity of query answering