Reasoner for DAML-S

Hi all!

I need to 'query' DAML-S files for relevant properties, and possibly to
some description logic reasoning with the ontologies... I'm using Java.
What options do I have? I know about Jena (doesn't seem to do it, yet at
least) and XSB with YAJXB or InterProlog. I've also heard about
CORBA-FaCT. Are there other alternatives? What have people here tried?
Which would be my best choice?

As you can see I am new to this, so any feedback would be appreciated.

Regards,
-- 
Daniel Elenius <danel698@student.liu.se>

Received on Friday, 14 February 2003 13:42:13 UTC