I don't know much about KM, but for Pellet, take a look at http://
and, finally, Bijan (Parsia) is pretty approachable...
On Jan 23, 2007, at 9:59 AM, Bill Jarrold wrote: (02)
> I was wondering if anyone out there can help me characterize the
> between KM (also known as "The Knowledge Machine") 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 ( http://www.cs.utexas.edu/users/mfkb/km/
> userman.pdf) there is
> Section 18 Intensional Representations and Subsumption
> ...which does a beautiful job of clearly and succinctly explaining
> capabilities in this regard. Is there an analog for pellet?
> If not, can someone suggest a mailing list that would be a good forum
> to ask this question?
> What I really would like is a set of examples or use cases that
> illustrate the differences and similarities in capabilities. This
> would be more useful than an abstract formal characterization of the
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)