Advanced Ontologist (Level 2) Training

by | Jan 25, 2021

Upon successfully completing this certification, the student will be capable of carrying out ontology development with little to no supervision from a more experienced ontologist. More specifically, this certification path will enable the student to: Represent complex...

Query Graphs

by | Jan 25, 2021

This training module explains what Query Graphs are, how to create them in the KB, and how to run them using the Query Graph Processor (QGP). Motivation Query graphs enable you to run a sequence of Cyc queries in order, using the bindings obtained from earlier queries...

Intro to Quantificational Rule Macro Predicates

by | Jan 15, 2021

This training module serves as an introduction both to the notion of a rule macro predicate in general and to some of the most commonly used (and useful) rule macro predicates in CycL. As such, upon completion of this module, the student will understand what a rule...

KB Event Listeners in Cyc

by | Apr 1, 2020

Cyc contains a set of webservices that can be used to listen in on KB change events.  These services allow you to listen for change events (primarily addition and removal of assertions) on particular Cyc terms, as well as on instances of Cyc collections. ...

Indexicals in CycL

by | Jan 29, 2020

This reference document explains what CycL indexicals are (and how they differ from other CycL denotational terms), and it covers their use and representation in CycL. What is a CycL Indexical? An indexical, generally speaking, is a term that can be used to denote...