Re: SHOE, general inferences in RDF, and other stuff from Sergey Melnik on 1999-12-23 (www-rdf-interest@w3.org from December 1999)

From: Sergey Melnik <melnik@DB.Stanford.EDU>
Date: Wed, 22 Dec 1999 17:30:50 -0800
To: Sean Luke <seanl@cs.umd.edu>
CC: www-rdf-interest@w3.org
Message-ID: <38617B4A.4224A47@db.stanford.edu>

To remind: you can built *any* languages on top of RDF, including an
inference language. SHOE's inference language with its particular
semantics is just one example. For instance, Stefan and me designed an
RDF-based inf. lang. that supports Datalog with recursion and negation,
distributed KBs etc. and is executed using the SiLRI inference engine.
But definitely, it'd be nice to have an inf. lang. everybody agrees on.

Sergey

Received on Wednesday, 22 December 1999 20:24:46 UTC