April 20, 2015

SBHL Predicates and Hierarchies

One of the main advantages of a structured ontology like that used in Cyc is the fact that knowledge can be inherited, allowing for much more efficient representation. For instance:

SBHL
The above diagram illustrates this principle. Given an arbitrary instance of #$Truck, Cyc immediately knows many things about it: that it leaves tracks, that it cannot control its altitude and that it is driven by a trained, adult human. This follows, because it is known