Reasoning over a network representation of knowledge, such as semantic network, requires different methods compared with the more linear sentance-like representations of formal logic. This may include following the link structure (as you may be doing with this glossary), identifying subgraphs matching patterns of connections, or spreading activation (like the PageRank algorithm).
Used in Chap. 3: page 34
Used in glossary entries: formal logic, link structure, network representation, PageRank, semantic network, spreading activation
Graph pattern.
Spreading activation (from "Spreading Activation for Web Scale Reasoning: Promise and Problems", Akim1 et al. 2011)