Belief Base Revision for Datalog+/- Ontologies.
Songxin WangJeff Z. PanYuting ZhaoWei LiSongqiao HanDongmei HanPublished in: JIST (2013)
Keyphrases
- belief base
- belief revision
- belief change
- ontology based data access
- knowledge base
- dl programs
- logical properties
- possibilistic logic
- belief merging
- expressive power
- revision operators
- logic programming
- query answering
- description logics
- minimal change
- query language
- deductive databases
- update operators
- belief update
- knowledge representation
- preference relations
- default reasoning
- integrity constraints
- epistemic states
- merging operators
- belief set
- data model
- propositional logic
- autonomous agents
- incomplete information