Re: DRS guide -- usage scenario ? from Bijan Parsia on 2004-01-15 (public-sws-ig@w3.org from January 2004)

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Thu, 15 Jan 2004 11:35:12 -0500
To: Drew McDermott <drew.mcdermott@yale.edu>
Cc: public-sws-ig@w3.org
Message-Id: <CA8FBD54-4778-11D8-927E-0003939E0B44@isr.umd.edu>

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 UTC