Inference AND Pellet
Common descendants