Creating P-type models of computation for NP-Hard problems using Knowledge Graphs.