W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2001

Re: naming properties and classes in RDF

From: Sean B. Palmer <sean@mysterylights.com>
Date: Fri, 16 Nov 2001 16:46:22 -0000
Message-ID: <028401c16ebe$418bb100$92dc93c3@localhost>
To: <Libby.Miller@bristol.ac.uk>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-rdf-interest@w3.org>, <neil.jacobs@bristol.ac.uk>, <g.conole@bristol.ac.uk>
> 2/ Use range restrictions:
>
>  <foaf:research_interest> <rdfs:range> <foaf:Research_interest>.
>  <_:1> <rdf:type> <foaf:Person>.
>  <_:1> <foaf:research_interest> <_:2>.

And domain:-

   foaf:research_interest rdfs:range foaf:Research_interest .
   foaf:research_interest rdfs:domain foaf:Person .
   _:a foaf:research_interest _:b .

Then you can do an inference:-

   { ?y rdfs:domain ?p . ?x ?y ?z }
   log:implies
   { ?x rdf:type ?p } .

   { ?y rdfs:range ?p . ?x ?y ?z }
   log:implies
   { ?z rdf:type ?p } .

Libby I wonder if you could extend your query thing to do inferences?
All you need to do is query the antecedent (first bracket), and feed
the results you get for the variables back into the store in the form
of the consequent (second bracket). The only "problem" would be in
coming up with an syntax for the rules.

Cheers,

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .
Received on Friday, 16 November 2001 11:47:22 GMT

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