I created an Ontology in TopBraid Composer and loaded it to AllegroGraph Triple Store. RDFS++ Inferencing (explained in example 19 here) works.
Now I want to use a Semantic Reasoner that can do more than just RDFS++ Inferencing (e.g. Pellet, HermiT or FACT..).
Which one would you recommend?