W3C home > Mailing lists > Public > semantic-web@w3.org > April 2007

Re: Reasoner with OWL 1.1 and TBox-query support

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Thu, 26 Apr 2007 12:08:21 -0400
Message-Id: <1AF55B44-A079-4250-B196-7400C946241B@gmail.com>
Cc: Semantic Web <semantic-web@w3.org>, pellet-users@lists.owldl.com
To: lautenbacher_flo@gmx.net

Pellet supports tbox queries through the API. You can look in the DIG  
handler  for examples of how to do it  - see DIGAskHandler.java in  
the Pellet sources.
I have sample code that uses it, though it is written in a common  
lisp that calls java so you have to squint a bit to read it.

You can look at http://svn.mumble.net:8080/svn/lsw/trunk/owl/dig- 
query.lisp and send me questions off list if you don't get any better  
source of information.

Regards,
Alan


On Apr 26, 2007, at 11:41 AM, lautenbacher_flo@gmx.net wrote:

>
> Hi,
>
> I am currently searching a reasoner which supports the upcoming OWL  
> 1.1 and is not restricted to ABox-queries, but does also support  
> TBox queries. Is there anything available?
>
> The tools that I tested were KAON2 and Pellet which are supporting  
> OWL 1.1, but both say in the (short) documentation that they only  
> support ABox queries. Are there any alternatives?
>
> Thanks in advance for your support,
>
> Florian
> -- 
> "Feel free" - 10 GB Mailbox, 100 FreeSMS/Monat ...
> Jetzt GMX TopMail testen: http://www.gmx.net/de/go/topmail
>
Received on Thursday, 26 April 2007 16:06:43 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:15 GMT