km vs pellet on subsumption / intensional representation

[William L. Jarrold]

Hi,

I was wondering if anyone out there can characterize the differences
between KM and pellet regarding subsumption and intensional
representation. Are there things that km can do that pellet (the owl
reasoner) can't and vice a versa?

In the KM manual there is...

Section 18 Intensional Representations and Subsumption

...which does a beautiful job of clearly and succinctly explaining KM's
capabilities in this regard. Is there an analog for pellet?

Thanks,

Bill