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.
- Basic Guidelines for Efficient CycL
- EL, HL, and the Canonicalizer
- Using Microtheories
- CycL Representation Choices
- Mistakes to Avoid
- Notable Quoted Collections