Abstract

Ologs are category-theoretic models for knowledge representation. Unlike semantic networks, ologs can be formally stated and compared with each other. An olog is similar to a relational database schema, in that it serves as a data repository if desired. We describe ologs carefully and illustrate with many examples. It is hoped that learning to author an olog will be much simpler than learning a database definition language, despite their similarity.