Keyphrases
- belief change
- ontology evolution
- belief revision
- belief update
- revision operators
- minimal change
- knowledge base
- epistemic states
- propositional logic
- iterated belief revision
- rationality postulates
- horn logic
- prime implicates
- domain specific
- knowledge representation
- logical properties
- belief set
- belief base
- domain knowledge
- semantically rich
- semantic annotation
- domain ontology
- conceptual structures
- owl ontologies
- semantic web
- owl dl ontologies
- update operators
- semantic query
- semantic relationships
- semi automatic
- web services