Verify graph hits by walking exact identifiers and typed edges.

highlighted = computed this step

Graph browsing is a deterministic walk

A graph browse follows typed edges in a fixed order. The highlighted path has 6 nodes from the root to the focus.

path nodes=6\text{path nodes}=6
Deterministic graph browseThe path is found by breadth first search over pinned edges.ontology graphis_a_parentis_a_parentteaching_gene_linkteaching_trial_linkencodesannotated_toMONDO:0000001diseaseMONDO:0004992cancerMONDO:0007254breast cancerHGNC:1100BRCA1UniProt:P38398BRCA1 proteinGO:0006281DNA repairNCT:TOY0001teaching trial record

Read search results by walking back to exact IDs

A semantic hit is only an entry point. The exact check is the path through pinned identifiers and typed links.

search hitexact graph path\text{search hit} \to \text{exact graph path}
Browse pathEach step is recomputed by breadth first search.StepIdentifierLabel0MONDO:0000001disease1MONDO:0004992cancer2MONDO:0007254breast cancer3HGNC:1100BRCA14UniProt:P38398BRCA1 protein5GO:0006281DNA repair