W3C home > Mailing lists > Public > www-archive@w3.org > August 2001

Re: anonymous object

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 1 Sep 2001 00:15:12 +0100
To: phayes@ai.uwf.edu
Cc: www-archive@w3.org, connolly@w3.org
Message-Id: <41256AB9.007FAA88.00@ambem5.eps.agfa.be>

> Guys, thanks for CCing me on this stuff, but I really can't follow
> the N3 syntax. Can you give RDF graphs corresponding to some of these
> examples, so I can see what they might all mean in the MT?  (Ntriple
> form is fine)

OK, fair enough, I'll try

the given graph is
  <ao#i> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#B>.
  <ao#B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ao#A>.

and it entails graph
  <ao#i> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#A>.

because we have a given rule that says that premis-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#D>.
  <ao#D> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ao#C>.
implies conclusion-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#C>.
for all symbols
  <ao#x>, <ao#D> and <ao#C>.


or we can have 2 given rules
one rule ** which says that premis-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#D>.
  <ao#D> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ao#C>.
implies conclusion-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:ao.
  _:ao <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ao#C>.
for all symbols
  <ao#x>, <ao#D> and <ao#C>.

and another rule which says that premis-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:ao.
  _:ao <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ao#C>.
implies conclusion-graph
  <ao#x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#C>.
for all symbols
  <ao#x>, <ao#D> and <ao#C>.

and that should also entail graph
  <ao#i> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <ao#A>.

OK, we've made use of universally quantified variables and implication
but my point was about having that ** rule needed for our
current implementation in Euler (because of our actual
treatment of existentially quantified variables)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 31 August 2001 18:15:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:14 GMT