Re: [RDF] Re: Comments on N3 and its use for writing rules

This is a reply to
  http://lists.w3.org/Archives/Public/www-rdf-logic/2001Mar/0080.html


Ouch.

I was trying to suggest an alternative to the log:forAll, log:forSome
properties.

But I may have ended up making things more complicated.



> >   BOTH UNIVERSAL AND EXISTENTIAL
> >
> > Notation3 page section #quantification gives this example:
> >
> >     {{:g :loves :h} log:forSome :g} log:forAll :h.

My objection against this is that the resources :g and :h can be used
in many contexts, each giving it diffrent propertis.


I look at :g and :h as a special type of resources, namely variables.
Variables is resources that can be aliases to other resources.  That
is done by using an alias property, stated in a specific context.


That's why I was trying to find another way to express the same thing,
without binding variables to contexts, making the variables global.

     :g a log:ForSome.
     :h a log:forAll.
     {:h a rdfs:Resource} log:implies { :g :loves :h }.


This is written for how I could imagine the inference engine work.  :h
is an alias for all known resources.  :g is an alias for one
unspecified resource.

The inference enginge works by stating those aliases in the specific
context.


... But I think I will give up on this.  At least for now.






> > THE MODEL FOR INFERED STATINGS
> >
> > The Notation3 page introduces the log:parsesTo predicate.  I don't
> > like that name.
> >
> > The thing here is that we in some way declare our trust[5] in a) source
> > data and b) a inference service[6].  When we ask the service to find some
> > infered data for us, we tell it what sources we trust.  We resulting
> > statings is placed in a separate model.
> >
> > This resulting model should have metadata saying that it is infered
> > data, and the inference service and source data used.  The same source
> > model can be used in many inference models and the same inference
> > model can use many sources.
> >
> > Let the model with the infered statings declare its sources.  If we
> > wan't we can state the trust in the resulting data.
> >
> >
> >  [5] http://uxn.nu/wraf/RDF-Service/doc/html/trust.html
> >  [6] http://uxn.nu/wraf/RDF-Service/doc/html/service.html


-- 
/ Jonas Liljegren

The Wraf project http://www.uxn.nu/wraf/
Sponsored by http://www.rit.se/

Received on Thursday, 29 March 2001 11:57:06 UTC