[Top] [All Lists]

[ontolog-forum] km vs pellet on subsumption / intensional representation

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Bill Jarrold <jarrold@xxxxxxxxxx>
Date: Tue, 23 Jan 2007 09:59:24 -0800
Message-id: <A9053FB2-3B3D-4504-9FEF-34CB04DA99AE@xxxxxxxxxx>
Hi,    (01)

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?    (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)

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