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 Basics Home Tools for Knowledge Editing and Ontology Development