The Ontylog Classifier implements the semantics of the description logic Ontylog. This is a
subset of many common description logics that makes the expressivity-scalability tradeoff
in favor of scalability. Yet we would argue that though some things are given up much is gained,
for it is in dealing with very large knowledge bases that the modeling power of description
logic becomes evident. Without this scalability a classifier is just a toy.
@author Ontylogus of Apelon