- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Fri, 16 Nov 2001 16:46:22 -0000
- 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 UTC