RDF or DAML+OIL Inference engine for C?

• From: Daniel Elenius <danel698@student.liu.se>
• Date: Thu, 27 Nov 2003 17:16:15 +0100
• To: www-ws@w3.org
• Message-ID: <3FC6234F.8080707@student.liu.se>

Is there a RDF or DAML+OIL Inference engine for C?

I found Redland, but I'm not sure it does any inference, just matches 
existing triples, right?... I need something like JTP (Java Theorem 
Prover) but for C language.

/Daniel Elenius

Received on Thursday, 27 November 2003 11:15:51 UTC