[DIG-users] DIG and RACER

[Alejandro <had...@gm...>]

Hello.


I'm using a "com.hp.hpl.jena.reasoner.dig.DigReasoner" in Java.
How can I do an answer to the reasoner, one like this:
        (implies a b)


I did it only using RACER, sending it throught sockets, but I don't know how
to do thought a Dig Api (DigReasoner)

Thanks for your help