Inferring over functionally equivalent ontologies

Knowledge can be defined as a fact or state which is based on gathered information, experiences and association. Storing and gathering knowledge is an actual issue in artificial intelligence, health care and manufacturing. Ontologies use mechanism that offers inferring of the new facts out of explicitly given ones. We have used this feature for solving a logic riddle. The speed of inferring facts/knowledge is crucial. This paper presents several experiments with various versions of ontological model and compares inferring speed of the chosen riddle within these models.