Introduction and Motivation
Context of inconsistencies in federated models
Challenge of identifying inconsistencies
Frame this problem as a graph reasoning problem
- graphs are generic
- similarities between graphs allow one to identify equivalences and inconsistencies.
What are other applications of inexact graph reasoning problems? -- provides a broader motivation
Related work
- on inconsistency management
- on inexact reasoning with graphs
Approach
- development of an algorithm for inexact reasoning with graphs
- characterization of algorithm performance