Reasoning about Belief Uncertainty in DL Lite N bool.
Ala DjeddaiHassina SeridiTarek KhadirPublished in: Description Logics (2014)
Keyphrases
- dl lite
- description logics
- belief functions
- modal operators
- query answering
- probability theory
- data complexity
- possibility theory
- first order logic
- query rewriting
- expressive power
- conjunctive queries
- computational complexity
- knowledge base
- knowledge representation
- reasoning tasks
- belief revision
- data exchange
- decision theory
- databases
- integrity constraints
- np hard
- natural language
- artificial intelligence
- machine learning