Belief Base Revision for Expressive Description Logics.
Christian Halaschek-WienerYarden KatzPublished in: OWLED (2006)
Keyphrases
- expressive description logics
- belief base
- belief change
- description logics
- belief revision
- prime implicates
- possibilistic logic
- knowledge base
- propositional logic
- update operators
- regular path queries
- horn logic
- owl dl
- default reasoning
- belief set
- probabilistic logic
- machine learning
- preference relations
- data model
- artificial intelligence