by Angie Lopez | Nov 1, 2019
Introduction KE Text (Knowledge E Text, where the E stands for Editing, which is historically correct, or Entry, which is intuitively correct) is an ASCII text format for specifying changes to a Cyc KB. The text is parsed into KB operations (asserts, unasserts,...
by Angie Lopez | Nov 1, 2019
This is a training module on query-driven ontology development, which is the recommended process for adding any new knowledge to Cyc. By the end of this module, you will be able to: Determine how to scope out the range of knowledge you should add to Cyc when working...
by Angie Lopez | Nov 1, 2019
After completing this training module, users will be able to: use the query tool to write queries, and understand how changing inference parameters impacts a query. Introduction This module will introduce you to the Query Tool. This is the tool that we use to see...
by Angie Lopez | Nov 1, 2019
This training module explains when to use #$isa and when to use #$quotedIsa. It first explains the basic difference between the two and then describes some important uses of #$quotedIsa. It also includes some related terms,...
by Angie Lopez | Nov 1, 2019
This is a training module on writing and editing rules. Module Prerequisites What is CycL?AssertionsQuery-Driven OntologyOE Best PracticesMaking, Editing and Removing Assertions The tools and processes for adding rules to the KB are the same as those for adding...
