SBHL module

Home / Glossary / SBHL module

SBHL stands for “Subsumption-Based Heuristic Layer” (or “Level”).

SBHL modules are removal modules that support efficient searches for Cyc’s most frequently used transitive predicates (#$genls, #$genlMt, and #$genlPreds), and for predicates that operate in conjunction with them (#$isa, #$disjointWith, #$genlInverse, #$negationPreds, and #$negationInverse).

The body of SubL code that implements these modules is often called “The SBHL.”

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA