Re: A bit of running code for "Tim's View"

At 2:28 PM -0400 10/8/03, Sandro Hawke wrote:
>>  if the bio:page states
>>       bio:Dog a bio:mammal
>                ^ assuming you mean ferrell:subClassOf   ?
>>  will you output
>>    Donny a bio:mammal.
>
>Yes.  The triples are all just throw together into one store.  As each
>one gets thrown it, it gets examined to see if it suggests still more
>should be thrown in.  (forming the "web closure", pruned (to be fairly
>small in this case) because we're not following URIs in the subject
>position.)  In cwm's case, given --think, once its done finding the
>pruned web closure, then it computes the deductive closure (also
>finite, even small), which it outputs.
>
>There are some interesting possibilities for backward chaining, and
>for reaching out onto web at the same time as doing inference, but cwm
>doesn't try that right now.
>
>The actual test I proposed for Tim ended with asking cwm which dogs it
>knew about, so I didn't have to wade through all the other stuff cwm
>might have gathered and inferred.
>
>>  If the bio: page contains
>>     :Coconut a :Cat
>>
>>  will cwm claim
>>     bio:Coconut a bio:Cat.
>>  ?
>
>Yes.  The triples on the bio page are thrown in with the rest.  (I
>suggested we may want to tag where they came from for
>explanation/trust reasoning, some day soon.)
>
>     -- sandro

then I'm confused, how is this different from just importing every 
triple on that page?

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***

Received on Wednesday, 8 October 2003 18:41:26 UTC