Re: rule proto-proposal

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 05/31/01


From: Stefan Decker <stefan@db.stanford.edu>
Subject: Re: rule proto-proposal
Date: Thu, 31 May 2001 14:22:44 -0700

> Peter,
> 
> At 04:07 PM 5/31/2001 -0400, Peter F. Patel-Schneider wrote:
> >From: Stefan Decker <stefan@db.stanford.edu>
> >Subject: Re: rule proto-proposal
> >Date: Wed, 30 May 2001 09:36:42 -0700
> >
> > > Peter,
> > >
[....]
> > >
> > > Stefan
> >
> >But if I don't know what these tags mean how can I work with them?  In
> >particular, RDFS seems to specify that some triples should be inferred from
> >the presence of others.  How are these inferred triples to be handled?
> 
> I'm not sure if I understand the question.
> Is the question how a horn logic based inference engine handles inferred
> triples? Or is the context identifier unclear?

The latter.  What does the context mean?  How does it work?  Is it part of
the RDF model?  If so, what part?  If not, then how can an RDF application
``see'' it at all?  How are the tags computed for the ``extra'' triples?

> All the best,
> 
>          Stefan


This archive was generated by hypermail 2.1.4 : 04/02/02 EST