P-graph-a graph model for anomaly checking of knowledge bases | IEEE Conference Publication | IEEE Xplore