Re: DRS guide -- usage scenario ?

>    [Adrian Walker]
>    I'm a bit vague however about what you will actually do with formulae
>    encoded in RDF.  If you ship them around the Web, that seems to imply
>    that anyone receiving them has to have a suitable theorem prover /
>    reasoner.  So, do you ship that too ?  In DRS?  If so, then the
>    recipients need perhaps to unwrap ontology RDF and the prover RDF to
>    get strings like the ones Bijan suggested?
>    To put it another way, do you have a DRS usage scenario in mind ?

Someone who wants to read DRS content must have a deductive engine
that can take DRS formulas in RDF and reason with them.  The situation
is analogous to that with Owl Rules.  They won't do you any good
unless you have an Owl Rules reasoner.

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.

-- 
                                   -- Drew McDermott
                                      Yale Computer Science Department

Received on Thursday, 15 January 2004 11:05:47 UTC