Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.
Sihem BelabbesSalem BenferhatPublished in: J. Appl. Non Class. Logics (2023)
Keyphrases
- partially ordered
- dl lite
- description logics
- knowledge base
- partial order
- query answering
- data complexity
- expressive power
- totally ordered
- computational complexity
- event calculus
- partial ordering
- first order logic
- query rewriting
- conjunctive queries
- possibilistic logic
- knowledge representation
- reasoning tasks
- computational properties
- database
- data streams
- machine learning
- artificial intelligence
- owl ontologies
- database systems
- expert systems
- data integration
- semantic web
- logic programming
- data model