Re: rule proto-proposal

From: Stefan Decker (stefan@db.stanford.edu)
Date: 05/31/01


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,
> >
> >
> > > > If we built a rule language for processing of RDF data it is 
> necessary to
> > > > distinguish
> > > > different sets of RDF data. One example where it is important to
> > > > distinguish between
> > > > different kind sets of RDF data is when it comes from different 
> sources,
> > > > and that
> > > > it originates from different sources is a property of the data.
> > > > There are other applications areas, e.g. the computation of different
> > > > semantics (see my RDF Schema
> > > > example).
> > >
> > >I have grave doubts about this sort of extension to RDF without having any
> > >notion of belief or knowledge, because this is what the ability to
> > >distinguish between the sources of information boils down to.
>
> > The first thing necessary is to be able to distinguish between different
> > sources.
> > You (and others) are free to built what mechanism is needed on top of it.
> >
> > 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?

All the best,

         Stefan



>peter


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