Hi, (01)
I was wondering if anyone out there can help me characterize the
differences
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? (02)
In the KM manual ( http://www.cs.utexas.edu/users/mfkb/km/
userman.pdf) there is (03)
Section 18 Intensional Representations and Subsumption (04)
...which does a beautiful job of clearly and succinctly explaining KM's
capabilities in this regard. Is there an analog for pellet? (05)
If not, can someone suggest a mailing list that would be a good forum
to ask this question? (06)
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
differences. (07)
Thanks, (08)
Bill (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (010)
|