In this tutorial you will witness the creation of two new constants, and the making of some simple assertions on those constants.
Suppose that you have just acquired two kittens (who shall be referred to as “Billy” and “Peter”) and they are so enchanting that you feel they should be represented in your version of the OpenCyc KB. Here is how one ontologist would go about such a process, described in first-person terms. I encourage you to follow me as I walk you through the steps I would take, using your browser. Ontological engineering – like any other engineering – is an intensely practical (albeit virtual), task which can really only be learned by doing it.
The process I will go through can be broken down into four main steps. Ok, let’s begin.