Inference Rules

I'll note that the inference engine does in fact support rules--the metarelations are actually rules.

Consider the relationship of Mother and Parent. This does not cover everything:

KindOf(Parent, Mother)

We also want to say this:

Mother($Joe,$Sally) <-- Parent($Joe,$Sally) & Female($Sally)

We also want to say Communitive(Inverse)
and Inverse(Parent,Child), and no doubt a whole lot more, like

Son($Sally,$Joe) <-- Child($Sally,$Joe) & Male($Joe)

We can make the inference engine extensible. And then later we can add language for defining rules. But right now I am looking forward to exploring applications that sit on top of even a simple inference engine. It should give a lot more flexibility to how relationships are defined between entities.

Bill