On Jan 15, 2004, at 11:03 AM, Drew McDermott wrote: [snip] > We have two tools online using DRS: > > * A translator from the RDF encoding to a Lisp-like internal > representation. (Also translates the other way.) > * A deductive engine that reasons using the internal > representation. It is currently found inside our > ontology-translation system. It does forward and backward > chaining, plus equality substitution in forward-chaining mode. > > I'm sorry that these two tools seem to be offline. I will kick a > little graduate-student ass. Any plans to release the code (and perhaps to OntoMerge as well)? Cheers, Bijan Parsia.Received on Thursday, 15 January 2004 11:35:11 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 16 March 2008 00:10:54 GMT