ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] km vs pellet on subsumption / intensional representa

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Doug Holmes <dholmes@xxxxxxx>
Date: Tue, 23 Jan 2007 11:32:31 -0800
Message-id: <1038702D-886C-47E3-AEE1-87F456FBD8DA@xxxxxxx>
Hello Bill,
        I don't know much about KM, but for Pellet, take a look at http:// 
pellet.owldl.com/
also http://www.mindswap.org/2003/pellet/
and, finally, Bijan (Parsia) is pretty approachable...
Doug    (01)


On Jan 23, 2007, at 9:59 AM, Bill Jarrold wrote:    (02)

> Hi,
>
> 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?
>
> 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  
> KM's
> 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
> differences.
>
> Thanks,
>
> Bill
>
>
>
>
> _________________________________________________________________
> 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
>
>    (03)


_________________________________________________________________
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    (04)

<Prev in Thread] Current Thread [Next in Thread>