S Abburu - International Journal of Computer Applications, 2012 - Citeseer
Reasoner is a software that is used to derive new facts from the existing ontologies. Some of
the popular reasoners developed in the last few years are: Pellet, RACER, FACT++ …