Abstract: The basic principles of the semantic reasoners were investigated and a comparative analysis was made.
Keywords: reasoner, Structural reasoner, Pellet, Hermit, semantic tableau, hypertableau, forward chaining, backward chaining.