Merging of Ontologies Using Belief Revision and Defeasible Logic Programming.
Sergio Alejandro GómezGuillermo Ricardo SimariPublished in: Inteligencia Artif. (2013)
Keyphrases
- belief revision
- belief merging
- knowledge base
- merging operators
- defeasible logic programming
- knowledge representation
- default reasoning
- belief change
- propositional logic
- nonmonotonic reasoning
- semantic web
- logic programming
- logical properties
- belief update
- defeasible argumentation
- temporal logic
- logical framework
- minimal change
- possibilistic logic
- plausible inference
- machine learning
- decision problems
- owl ontologies
- fixpoint
- computational complexity
- relational databases
- multi agent
- dynamic programming