Ontology Revision on the Semantic Web: Integration of belief revision theory.
Seung Hwan KangSim Kim LauPublished in: HICSS (2007)
Keyphrases
- belief revision
- knowledge base
- semantic web
- belief change
- plausible reasoning
- logical properties
- logical framework
- propositional logic
- plausible inference
- default reasoning
- iterated belief revision
- nonmonotonic reasoning
- belief update
- conditional logic
- semantic web technologies
- knowledge representation
- revision operators
- owl ontologies
- minimal change
- formal theory
- possibilistic logic
- data integration
- belief merging
- ontology engineering
- conceptual structures
- update operators
- probability theory
- principle of minimal change
- cost based abduction
- belief state
- description logics
- owl dl
- general theory
- logic programs
- bayesian networks