Consistency-based Algorithms
v1.0
- groupID
- at.tugraz.ist.ase.hiconfit
- artifactID
- ca-cdr
ca-cdr is a library for Consistency-based Algorithms for Conflict Detection and Resolution (CA-CDR).
Conflict Detection and Resolution is a substantial task in Knowledge Base Engineering (KBE). Intelligent mechanisms are urgently needed, especially in large-scale knowledge bases. This repository publishes our implementations for some/our consistency-based algorithms, which can be utilized in all three phases of KBE, i.e., design, testing and debugging, and configuration.
TBD
List of algorithms:
ca-cdr provides the following algorithms:
- QuickXPlain - [1]
- FastDiag - [2]
- MSS-based FastDiag - [15]
- FlexDiag - [3]
- HS-tree - [8]
- HSDAG - [9]
- DirectDebug - [4, 5, 6, 7]
- DirectDiag
- WipeOutR_T - [12, 13] COMING SOON
- WipeOutR_FM - [12, 13]
- AggregatedTest - [14] COMING SOON
- LevelWiseParallelHSDAG - [10, 11] COMING SOON
- FullParallelHSDAG - [10, 11] COMING SOON
- FastDiagP - [15] - Python implementation COMING SOON
- KBDiag [the related paper submitted on January 2023] COMING SOON
- InformedQX COMING SOON
- ParallelWipeOutR_T COMING SOON
- ParallelWipeOutR_FM COMING SOON
Examples
There are some test models in here and some examples showing how to use these algorithms in here.