My ontology is 3000 axioms for now but I have a lot of individuals that must be there in the future.
Reasoner 
slows around 10 minutes for reasoning on it. I think this is not normal and I am trying to make it better and solve it somehow. May be I have a lot of labels, if it's a propblematic.
Pellet infers really fast - may be 5 sec.
What is the real difference between this two Reasoners? Are thay interchangeable.
Will be really happy on all your comments. Thank you!