BioMed Research International

Research Article

OWL Reasoning Framework over Big Biological Knowledge Network

Algorithm 1

Formalized definitions for a specific reasoning example.
Reasoning Rule Chain: {(herb, treatment, Disease), (Disease, possibleDrug, Drug), (Drug, hasTarget, Target),
           (Target, hasAccession, Protein), (Protein, classifiedWith, EntrezID), (EntrezID, symbol, Gene)}
OWL Property Chain: OPC0=treatment, OPC1=possibleDrug, OPC2=hasTarget, OPC3=hasAccession,
        OPC4=classifiedWith, OPC5=symbol
  Property Chain Set: {OPC0, OPC1, OPC2, OPC3, OPC4, OPC5}
     Property ID: {OPC0=0, OPC1=1, OPC2=2, OPC3=3, OPC4=4, OPC5=5}