W3C home > Mailing lists > Public > public-sws-ig@w3.org > December 2004

Re: Planning under Description Logic ?--an obstacle towards WSAC

From: Evren Sirin <evren@cs.umd.edu>
Date: Tue, 07 Dec 2004 02:35:07 -0500
Message-ID: <41B55D2B.1050202@cs.umd.edu>
To: Manshan Lin <lmshill@gmail.com>
CC: bparsia@isr.umd.edu, public-sws-ig@w3.org

Manshan Lin wrote:

>hi, 
>
>>From the link http://www.mindswap.org/2003/pellet/index.shtml,
>I find that Pellet reasoner is lack of documentation at the moment.
>Can you provide some user manual or example codes using the library?
>  
>
There is a new release of Pellet (1.1.0) available for download 
http://www.mindswap.org/2003/pellet/download/pellet-1.1.0.zip). This 
distribution bundle contains a simple readme file, javadocs and example 
code. I'm planning to add a small tutorial for future releases. You can 
ask Pellet related question by subscribing to Pellet mailing list here: 
http://lists.mindswap.org/mailman/listinfo/pellet-users

>I notice that there is another similar reasoner Racer, 
>http://www.sts.tu-harburg.de/~r.f.moeller/racer/.
>What's Pellet's superior and inferior comparing with Racer?
>  
>
Both Racer and Pellet is based on tableaux algorithms designed for 
expressive DLs. Racer is older, more tuned and more optimized than 
Pellet, On the other hand, Pellet provides support for nominals 
(owl:oneOf and owl:hasValue constructs), handles all the built-in XSD 
datatypes and does not make Unique Name Assumption. And Pellet is open 
source so you can add your extensions easily. If you have more questions 
please feel free to join the Pellet mailing list.

Regards,
Evren

>Best regards!
>
>Manshan Lin
>Email: lmshill@hotmail.com;lmshill@gmail.com
>Affiliation: School of Computer Science and Engineering, the South
>China University of Technology
>Phone: (+86)13711287277
>2004-12-03
>
>
>  
>
Received on Tuesday, 7 December 2004 07:36:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 16 March 2008 00:10:59 GMT