A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.
Loris BozzatoThomas EiterLuciano SerafiniPublished in: Description Logics (2019)
Keyphrases
- dl lite
- query answering
- fuzzy description logics
- description logics
- reasoning tasks
- expressive power
- data complexity
- ontology based data access
- knowledge base
- conjunctive queries
- computational properties
- knowledge representation
- polynomial hierarchy
- reasoning systems
- query rewriting
- data exchange
- first order logic
- computational complexity
- logic programming
- data integration
- integrity constraints
- unions of conjunctive queries
- knowledge representation and reasoning
- answering queries
- query language
- dl programs
- artificial intelligence
- answer set programming
- deductive databases
- query evaluation
- inconsistent databases
- automated reasoning
- ontology languages
- model theoretic
- schema mappings
- incomplete information
- semantic web
- databases
- complexity of query answering