Mozilla RDF / Enabling Inference

RDF was designed to be (amongst many other things!) an appropriate data representation formalism for logic/inference applications on the Web. A number of papers and tools already exist that explore the relationship between the W3C's RDF and the world of logic programming. Our aim here is to put some of this into practice and explore the possibilities it raises for a the creation of more intelligent and intuitive information management tools.

http://www.mozilla.org/rdf/doc/inference.html