Writing Efficient CycL

The same knowledge can often be represented in multiple ways, but not all representations are equal when it comes to reasoning with them.  This section introduces some considerations for authoring KB content that supports efficient inference.

Cyc BasicsHomeTools for Knowledge Editing and Ontology Development