Circumscription in DL-Lite: Progress Report.
Piero BonattiFederica Di StefanoMagdalena OrtizMantas SimkusPublished in: Description Logics (2023)
Keyphrases
- dl lite
- description logics
- query answering
- first order logic
- data complexity
- theorem prover
- autoepistemic logic
- default logic
- query rewriting
- logic programs
- situation calculus
- model theoretic
- conjunctive queries
- computational complexity
- expressive power
- default reasoning
- reasoning tasks
- nonmonotonic reasoning
- nonmonotonic logics
- logic programming
- answer sets
- data exchange
- polynomial hierarchy
- knowledge representation
- semantic web
- computational properties
- possibility theory
- knowledge base
- inference rules
- incomplete information
- deductive databases