W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2001

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

From: Jonas Liljegren <jonas@rit.se>
Date: 29 Mar 2001 19:00:49 +0200
To: "Tim Berners-Lee" <timbl@w3.org>
Cc: <www-rdf-logic@w3.org>, "Wraf development" <rdf@uxn.nu>
Message-ID: <87puf0tsqm.fsf@jonas.rit.se>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT