|
RDFEngine, a reasoning engine for the Semantic Web, was developed as a part of the master's thesis (pdf) of Guido Naudts. It's written in Python. Based on Jos De Roo's Euler proof engine (Java/C#), it appears to cover most of the functionality of Tim Berners-Lee and co's cwm inference/query engine. It uses a variety of formats to represent RDF + logic - Notation 3 (like cwm), as well as a verbose triple-oriented XML format and the novel "SIF", Short Inferencing Format.
(via Andrew Newman)
Posted to general by Danny Ayers on 4/21/04; 1:43:39 AM
|
|
RDFEngine
