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.