Skip to main content

Table 3 Reasoning protein-protein interactions.

From: An ontology-based search engine for protein-protein interactions

Term Prime number Relation Modified Gödel Number
domainA 11   
domainB 13 R4: domainA interacts with domainB relation(interacts) = 11 × 13 = 143
ProteinA 17 R5: ProteinA has domainA relation(has a) = 17 × 11 = 187
ProteinB 19 R6: ProteinB has domainB relation(has a) = 19 × 13 = 247
  1. Using our representation, it is possible to infer protein-protein interactions from domain-domain interactions. Suppose that domainA interacts with domainB, proteinA has domainA, and that proteinB has domainB. Simple arithmetic operations such as integer division and modulo operations are sufficient to infer that ProteinA interacts with ProteinB.