Default Description Logics with Reversing Inference Rules.
Yu SunYuefei SuiPublished in: IEEE ICCI (2006)
Keyphrases
- inference rules
- description logics
- first order logic
- computational properties
- knowledge representation
- modal logic
- knowledge base
- dl lite
- theorem proving
- theorem prover
- reasoning tasks
- semantic web
- conditional probabilities
- horn clauses
- reasoning problems
- expert systems
- probability theory
- model theoretic
- random variables
- expressive power
- machine learning
- probabilistic knowledge