Reasoner with OWL 1.1 and TBox-query support from lautenbacher_flo@gmx.net on 2007-04-26 (semantic-web@w3.org from April 2007)

From: <lautenbacher_flo@gmx.net>
Date: Thu, 26 Apr 2007 17:41:46 +0200
To: semantic-web@w3.org
Message-ID: <20070426154146.92520@gmx.net>

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 15:41:55 UTC