A endlessly reasoning time occurs during reasoning with Pellet against my ontology constructed based on DL. However, i tried it again with HermiT, which works well. So, i wonder what are the differences among Pellet, HermiT and FaCT++. I hope to get your ideas on the topic, or show me portal where i can find the answer.
Thanks in advance!