<?xml version="1.0" encoding="UTF-8" ?>
<!--RDF based XML document generated By OpenLink Virtuoso-->
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
 <rss:channel xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/weblog/dav/dav-blog-1/">
  <rss:title>OpenLink Community Blog</rss:title>
  <rss:link>http://www.openlinksw.com/weblog/dav/dav-blog-1/</rss:link>
  <rss:description>A Collection of blogs by OpenLink Staff</rss:description>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">OpenLink Software &lt;kidehen@openlinksw.com&gt;</dc:creator>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-11T22:35:28Z</dc:date>
  <dc:rights xmlns:dc="http://purl.org/dc/elements/1.1/" />
  <dc:language xmlns:dc="http://purl.org/dc/elements/1.1/">en-us</dc:language>
  <rss:items>
   <rdf:Seq>
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/vdb/blog/?id=1359" />
      <rdf:li rdf:resource="http://www.openlinksw.com/weblog/oerling/?id=1358" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/~kidehen/?id=1357" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/~kidehen/?id=1356" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/~kidehen/?id=1355" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/vdb/blog/?id=1354" />
      <rdf:li rdf:resource="http://www.openlinksw.com/weblog/oerling/?id=1353" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/~kidehen/?id=1352" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/~kidehen/?id=1351" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/vdb/blog/?id=1350" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/vdb/blog/?id=1349" />
      <rdf:li rdf:resource="http://www.openlinksw.com/blog/vdb/blog/?id=1348" />
      <rdf:li rdf:resource="http://www.openlinksw.com/weblog/oerling/?id=1347" />
      <rdf:li rdf:resource="http://www.openlinksw.com/weblog/oerling/?id=1346" />
      <rdf:li rdf:resource="http://www.openlinksw.com/weblog/oerling/?id=1345" />
   </rdf:Seq>
  </rss:items>
 </rss:channel>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/vdb/blog/?id=1359">
  <rss:title>Dbpedia Benchmark Revisited</rss:title>
  <rss:link>http://www.openlinksw.com/blog/vdb/blog/?id=1359</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1359</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/vdb/blog/gems/rsscomment.xml?:id=1359</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-09T19:33:42Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">Dbpedia Benchmark Revisited We ran the Dbpedia benchmark queries again with different configurations of Virtuoso. I had not studied the details of the matter previously but now did have a closer look at the queries. Comparing numbers given by different parties is a constant problem. In the case reported here, we loaded the full Dbpedia 3, all languages with about 198M triples on Virtuoso 5 and 6 cluster, all on the same 4 core 2GHz Xeon with 8G RAM. All databases were striped on 6 disks. The cluster configuration was with 4 processes in the same box. We ran the queries in two variants: The first was with graph specified in the SPARQL from clause, using the default indices. The second variant was with no graph specified anywhere, using an alternate indexing scheme. The times below are for the sequence of 5 queries, individual query times are not reported. I did not do a line by line review of the execution plans since they seem to run well enough. We could get some extra mileage from cost model tweaks, specially for the numeric range conditions but we will do this when somebody comes up with better times. First about 5: Because there is a query in the set that specifies no condition on S or O and only P, this simply cannot be done with the default indices. With 6 it sort of can because 6 is more space efficient. So we added the index: create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s); 5 with gspo, ogps, pogs cold 210s warm 0.600s 6 cluster with gspo, ogps cold 136s warm 4.01 s 6 cluster with gspo, ogpps, pogs cold 33.4s warm 0.628 s OK, so now let us do it without a graph being specified. For all platforms, we do: - Drop any existing indices. create table r2 (g iri_id_8, s, iri_id_8, p iri_id_8, o any, primary key (s, p, o, g)) alter index R2 on R2 partition (s int (0hexffff00)); log_enable (2); insert into r2 (g, s, p, o) select g, s, p, o from rdf_quad; drop table rdf_quad; alter table r2 rename RDF_QUAD; create bitmap index rdf_quad_opgs on rdf_quad (o, p, g, s) partition (o varchar (-1, 0hexffff)); create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s) partition (o varchar (-1, 0hexffff)); create bitmap index rdf_quad_gpos on rdf_quad (g, p, o, s) partition (o varchar (-1, 0hexffff)); The code is identical for 5 and 6, except that with 5 we use iri_id (32 bit) for the type, not iri_id_8 (64 bit). We note that we run out of id&#39;s with 5 around a few billion triples, so with 6 we have double the id length and still manage to be vastly more space efficient. With the above 4 indices, we can query the data pretty much in any combination without hitting a full scan of any index. We note that all indices that do not begin with s end with s as a bitmap. This is about 60% of the space of a non-bitmap index for data such as Dbpedia. If you intend to do completely arbitrary RDF queries in Virtuoso, then chances are you are best off with the above index scheme. 5 with spog, pogs, opgs, gpos warm 0.595 s 6 cluster with spog, pogs, opgs, gpos warm 0.617 s The cold times were about the same as above, so not reproduced. Graph or No Graph? It is in the SPARQL spirit to specify a graph and for pretty much any application, there are entirely sensible ways of keeping the data in graphs and specifying which ones are concerned by queries. This is why Virtuoso is set up for this by default. On the other hand, for the open web scenario, dealing with an unknown large number of graphs, enumerating graphs is not possible and questions like which graph of which source asserts x become relevant. We have two distinct use cases which warrant a different setup of the database, simple as that. The latter use case is not really within the SPARQL spec, so implementations may or may not support this. For example Oracle or Vertica would not do this well since they partition data according to graph or predicate, respectively. On the other hand stores that work with one quad table, which is most of the ones out there should do it maybe with some configuring, as shown above. Frameworks like Jena are not to my knowledge geared towards having a wildcard for graph, although I would suppose this can be arranged by adding some &quot;super-graph&quot; object, a graph of all graphs. I don&#39;t think this is directly supported and besides most apps would not need it. Once the indices are right, there is no difference between specifying a graph and no graph with the queries considered. With more complex queries, specifying a graph or set of graphs does allow some optimizations that cannot be done with graph missing. For example, bitmap intersections are possible only when all leading key parts are given. Conclusions The best warm cache time is with 5, the five queries under 600 ms after the first go. This is to show that all in memory with a single thread of execution is hard to beat. The 6 cluster performs the same in 623 ms. What is gained in parallelism is lost in latency if all operations complete in microseconds. On the other hand, 6 cluster leaves 5 in the dust in any situation that has less than 100% hit rate. This is due to actual benefit from parallelism if operations take longer than a few microseconds, such as in the case of disk reads. 6 has substantially better data layout on disk, as well as fewer pages to load for the same content. This makes it possible to run the queries without the pogs index on 6 even when 5 took prohibitively long. The morale of the story is to have a lot of RAM and space efficient data representation. The Dbpedia benchmark does not specify any random access pattern that would give a measure of sustained throughput under load, so we are left with the extremes of cold and warm cache of which neither is quite realistic. Chris Bizer and I have talked on and off about benchmarks and I have made suggestions that we will see incorporated into the Berlin SPARQL benchmark, which will, I believe, be much more informative. Appendix: Query Text For reference, the query text is below, with graph given. To run without specifying the graph, just drop the from &lt;http://dbpedia.org&gt;. The returned row counts are indicated below the query text. sparql SELECT ?p ?o from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/Metropolitan_Museum_of_Art&gt; ?p ?o }; -- 1337 rows sparql PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?film1 ?actor1 ?film2 ?actor2 from &lt;http://dbpedia.org&gt; WHERE { ?film1 p:starring &lt;http://dbpedia.org/resource/Kevin_Bacon&gt; . ?film1 p:starring ?actor1 . ?film2 p:starring ?actor1 . ?film2 p:starring ?actor2 . }; -- 23910 rows sparql PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?artist ?artwork ?museum ?director from &lt;http://dbpedia.org&gt; WHERE { ?artwork p:artist ?artist . ?artwork p:museum ?museum . ?museum p:director ?director }; -- 303 rows sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt; PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; SELECT ?s ?homepage from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/Berlin&gt; geo:lat ?berlinLat . &lt;http://dbpedia.org/resource/Berlin&gt; geo:long ?berlinLong . ?s geo:lat ?lat . ?s geo:long ?long . ?s foaf:homepage ?homepage . FILTER ( ?lat &lt;= ?berlinLat + 0.03190235436 &amp;&amp; ?long &gt;= ?berlinLong - 0.08679199218 &amp;&amp; ?lat &gt;= ?berlinLat - 0.03190235436 &amp;&amp; ?long &lt;= ?berlinLong + 0.08679199218) }; -- 56 rows sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt; PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?s ?a ?homepage from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/New_York_City&gt; geo:lat ?nyLat . &lt;http://dbpedia.org/resource/New_York_City&gt; geo:long ?nyLong . ?s geo:lat ?lat . ?s geo:long ?long . ?s p:architect ?a . ?a foaf:homepage ?homepage . FILTER ( ?lat &lt;= ?nyLat + 0.3190235436 &amp;&amp; ?long &gt;= ?nyLong - 0.8679199218 &amp;&amp; ?lat &gt;= ?nyLat - 0.3190235436 &amp;&amp; ?long &lt;= ?nyLong + 0.8679199218) }; -- 13 rows</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<div>
<div style="display:none;">Dbpedia Benchmark Revisited</div>
<div>
<div>We ran the <a href="http://dbpedia.org/resource/DBpedia" id="link-id10f6d398">Dbpedia</a> benchmark queries again with different
configurations of <a href="http://virtuoso.openlinksw.com" id="link-id1088e318">Virtuoso</a>. I had not studied the details of the
matter previously but now did have a closer look at the
queries.</div>
<div>Comparing numbers given by different parties is a constant
problem. In the case reported here, we loaded the full <a href="http://dbpedia.org/resource/DBpedia" id="link-id0x1673c4d8">Dbpedia</a> 3,
all languages with about 198M triples on <a href="http://virtuoso.openlinksw.com" id="link-id0x1673c460">Virtuoso</a> 5 and 6 cluster,
all on the same 4 core 2GHz Xeon with 8G RAM. All databases were
striped on 6 disks. The cluster configuration was with 4 processes
in the same box.</div>
<div>We ran the queries in two variants: The first was with graph
specified in the <a href="http://dbpedia.org/resource/SPARQL" id="link-id10682c50">SPARQL</a> from clause, using the default indices. The
second variant was with no graph specified anywhere, using an
alternate indexing scheme.</div>
<div>The times below are for the sequence of 5 queries, individual
query times are not reported. I did not do a line by line review of
the execution plans since they seem to run well enough. We could
get some extra mileage from cost model tweaks, specially for the
numeric range conditions but we will do this when somebody comes up
with better times.</div>
<div>First about 5: Because there is a query in the set that
specifies no condition on S or O and only P, this simply cannot be
done with the default indices. With 6 it sort of can because 6 is
more space efficient.</div>
<div>So we added the index:</div>
<pre>
create bitmap index <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id0xfec1130">rdf</a>_quad_pogs on rdf_quad (p, o, g, s);

5 with gspo, ogps, pogs 
cold   210s
warm  0.600s

6 cluster with gspo, ogps 
cold  136s
warm 4.01 s


6 cluster with gspo, ogpps, pogs
cold  33.4s
warm 0.628 s
</pre>
<div>OK, so now let us do it without a graph being specified. For
all platforms, we do:</div>
<div>- Drop any existing indices.</div>
<pre>
create table r2 (g iri_id_8, s, iri_id_8, p iri_id_8, o any, primary key (s, p, o, g))
alter index R2 on R2 partition (s int (0hexffff00));

log_enable (2);
insert into r2 (g, s, p, o) select g, s, p, o from rdf_quad;

drop table rdf_quad;
alter table r2 rename RDF_QUAD;
create bitmap index rdf_quad_opgs on rdf_quad (o, p, g, s) partition (o varchar (-1, 0hexffff));
create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s) partition (o varchar (-1, 0hexffff));
create bitmap index rdf_quad_gpos on rdf_quad (g, p, o, s) partition (o varchar (-1, 0hexffff));
</pre>
<div>The code is identical for 5 and 6, except that with 5 we use
iri_id (32 bit) for the type, not iri_id_8 (64 bit). We note that
we run out of id&#39;s with 5 around a few billion triples, so with 6
we have double the id length and still manage to be vastly more
space efficient.</div>
<div>With the above 4 indices, we can query the <a href="http://dbpedia.org/resource/Data" id="link-id10865200">data</a> pretty much in
any combination without hitting a full scan of any index. We note
that all indices that do not begin with s end with s as a bitmap.
This is about 60% of the space of a non-bitmap index for <a href="http://dbpedia.org/resource/Data" id="link-id0x6d11ff0">data</a> such
as Dbpedia.</div>
<div>If you intend to do completely arbitrary RDF queries in
Virtuoso, then chances are you are best off with the above index
scheme.</div>
<pre>
5 with spog, pogs, opgs, gpos 
warm 0.595 s

6 cluster  with spog, pogs, opgs, gpos 
warm 0.617 s
</pre>
<div>The cold times were about the same as above, so not
reproduced.</div>
<div>Graph or No Graph?</div>
<div>It is in the <a href="http://dbpedia.org/resource/SPARQL" id="link-id0x6f2b660">SPARQL</a> spirit to specify a graph and for pretty
much any application, there are entirely sensible ways of keeping
the data in graphs and specifying which ones are concerned by
queries. This is why Virtuoso is set up for this by default.</div>
<div>On the other hand, for the open web scenario, dealing with an
unknown large number of graphs, enumerating graphs is not possible
and questions like which graph of which source asserts x become
relevant. We have two distinct use cases which warrant a different
setup of the database, simple as that.</div>
<div>The latter use case is not really within the SPARQL spec, so
implementations may or may not support this. For example <a href="http://dbpedia.org/resource/Oracle_Database" id="link-id1089a608">Oracle</a> or
Vertica would not do this well since they partition data according
to graph or predicate, respectively. On the other hand stores that
work with one quad table, which is most of the ones out there
should do it maybe with some configuring, as shown above.</div>
<div>Frameworks like Jena are not to my <a href="http://dbpedia.org/resource/Knowledge" id="link-id10a139a8">knowledge</a> geared towards
having a wildcard for graph, although I would suppose this can be
arranged by adding some &quot;super-graph&quot; object, a graph of all
graphs. I don&#39;t think this is directly supported and besides most
apps would not need it.</div>
<div>Once the indices are right, there is no difference between
specifying a graph and no graph with the queries considered. With
more complex queries, specifying a graph or set of graphs does
allow some optimizations that cannot be done with graph missing.
For example, bitmap intersections are possible only when all
leading key parts are given.</div>
<h3>Conclusions</h3>
<div>The best warm cache time is with 5, the five queries under
600 ms after the first go. This is to show that all in memory with
a single thread of execution is hard to beat.</div>
<div>The 6 cluster performs the same in 623 ms. What is gained in
parallelism is lost in latency if all operations complete in
microseconds. On the other hand, 6 cluster leaves 5 in the dust in
any situation that has less than 100% hit rate. This is due to
actual benefit from parallelism if operations take longer than a
few microseconds, such as in the case of disk reads. 6 has
substantially better data layout on disk, as well as fewer pages to
load for the same content.</div>
<div>This makes it possible to run the queries without the pogs
index on 6 even when 5 took prohibitively long.</div>
<div>The morale of the story is to have a lot of RAM and space
efficient data representation.</div>
<div>The Dbpedia benchmark does not specify any random access
pattern that would give a measure of sustained throughput under
load, so we are left with the extremes of cold and warm cache of
which neither is quite realistic.</div>
<div>Chris Bizer and I have talked on and off about benchmarks and
I have made suggestions that we will see incorporated into the
Berlin SPARQL benchmark, which will, I believe, be much more
informative.</div>
<h3>Appendix: Query Text</h3>
<div>For reference, the query text is below, with graph given. To
run without specifying the graph, just drop the from
&lt;<a href="http://dbpedia.org/resource/Hypertext_Transfer_Protocol" id="link-id105403c0">http</a>://dbpedia.org&gt;. The returned row counts are indicated
below the query text.</div>
<pre>
sparql SELECT ?p ?o from &lt;<a href="http://dbpedia.org/resource/Hypertext_Transfer_Protocol" id="link-id0x17f22d88">http</a>://dbpedia.org&gt; WHERE {
  &lt;http://dbpedia.org/resource/Metropolitan_Museum_of_Art&gt; ?p ?o };

-- 1337 rows

sparql PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?film1 ?actor1 ?film2 ?actor2
from &lt;http://dbpedia.org&gt; WHERE {
  ?film1 p:starring &lt;http://dbpedia.org/resource/Kevin_Bacon&gt; .
  ?film1 p:starring ?actor1 .
  ?film2 p:starring ?actor1 .
  ?film2 p:starring ?actor2 . };

--  23910 rows

sparql PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?artist ?artwork ?museum ?director from &lt;http://dbpedia.org&gt; 
WHERE {
  ?artwork p:artist ?artist .
  ?artwork p:museum ?museum .
  ?museum p:director ?director };

-- 303 rows

sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt;
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt;
SELECT ?s ?homepage from &lt;http://dbpedia.org&gt;  WHERE {
   &lt;http://dbpedia.org/resource/Berlin&gt; geo:lat ?berlinLat .
   &lt;http://dbpedia.org/resource/Berlin&gt; geo:long ?berlinLong . 
   ?s geo:lat ?lat .
   ?s geo:long ?long .
   ?s foaf:homepage ?homepage .
   FILTER (
     ?lat        &lt;=     ?berlinLat + 0.03190235436 &amp;&amp;
     ?long       &gt;=     ?berlinLong - 0.08679199218 &amp;&amp;
     ?lat        &gt;=     ?berlinLat - 0.03190235436 &amp;&amp; 
     ?long       &lt;=     ?berlinLong + 0.08679199218) };

-- 56 rows


sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt;
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt;
PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?s ?a ?homepage from &lt;http://dbpedia.org&gt;  WHERE {
   &lt;http://dbpedia.org/resource/New_York_City&gt; geo:lat ?nyLat .
   &lt;http://dbpedia.org/resource/New_York_City&gt; geo:long ?nyLong . 
   ?s geo:lat ?lat .
   ?s geo:long ?long .
   ?s p:architect ?a .
   ?a foaf:homepage ?homepage .
   FILTER (
     ?lat        &lt;=     ?nyLat + 0.3190235436 &amp;&amp;
     ?long       &gt;=     ?nyLong - 0.8679199218 &amp;&amp;
     ?lat        &gt;=     ?nyLat - 0.3190235436 &amp;&amp; 
     ?long       &lt;=     ?nyLong + 0.8679199218) };

-- 13 rows
</pre>
</div>
</div>]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Virtuso Data Space Bot &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/weblog/oerling/?id=1358">
  <rss:title>Dbpedia Benchmark Revisited</rss:title>
  <rss:link>http://www.openlinksw.com/weblog/oerling/?id=1358</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1358</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/weblog/oerling/gems/rsscomment.xml?:id=1358</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-09T19:27:00Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">We ran the Dbpedia benchmark queries again with different configurations of Virtuoso. I had not studied the details of the matter previously but now did have a closer look at the queries. Comparing numbers given by different parties is a constant problem. In the case reported here, we loaded the full Dbpedia 3, all languages with about 198M triples on Virtuoso 5 and 6 cluster, all on the same 4 core 2GHz Xeon with 8G RAM. All databases were striped on 6 disks. The cluster configuration was with 4 processes in the same box. We ran the queries in two variants: The first was with graph specified in the SPARQL from clause, using the default indices. The second variant was with no graph specified anywhere, using an alternate indexing scheme. The times below are for the sequence of 5 queries, individual query times are not reported. I did not do a line by line review of the execution plans since they seem to run well enough. We could get some extra mileage from cost model tweaks, specially for the numeric range conditions but we will do this when somebody comes up with better times. First about 5: Because there is a query in the set that specifies no condition on S or O and only P, this simply cannot be done with the default indices. With 6 it sort of can because 6 is more space efficient. So we added the index: create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s); 5 with gspo, ogps, pogs cold 210s warm 0.600s 6 cluster with gspo, ogps cold 136s warm 4.01 s 6 cluster with gspo, ogpps, pogs cold 33.4s warm 0.628 s OK, so now let us do it without a graph being specified. For all platforms, we do: - Drop any existing indices. create table r2 (g iri_id_8, s, iri_id_8, p iri_id_8, o any, primary key (s, p, o, g)) alter index R2 on R2 partition (s int (0hexffff00)); log_enable (2); insert into r2 (g, s, p, o) select g, s, p, o from rdf_quad; drop table rdf_quad; alter table r2 rename RDF_QUAD; create bitmap index rdf_quad_opgs on rdf_quad (o, p, g, s) partition (o varchar (-1, 0hexffff)); create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s) partition (o varchar (-1, 0hexffff)); create bitmap index rdf_quad_gpos on rdf_quad (g, p, o, s) partition (o varchar (-1, 0hexffff)); The code is identical for 5 and 6, except that with 5 we use iri_id (32 bit) for the type, not iri_id_8 (64 bit). We note that we run out of id&#39;s with 5 around a few billion triples, so with 6 we have double the id length and still manage to be vastly more space efficient. With the above 4 indices, we can query the data pretty much in any combination without hitting a full scan of any index. We note that all indices that do not begin with s end with s as a bitmap. This is about 60% of the space of a non-bitmap index for data such as Dbpedia. If you intend to do completely arbitrary RDF queries in Virtuoso, then chances are you are best off with the above index scheme. 5 with spog, pogs, opgs, gpos warm 0.595 s 6 cluster with spog, pogs, opgs, gpos warm 0.617 s The cold times were about the same as above, so not reproduced. Graph or No Graph? It is in the SPARQL spirit to specify a graph and for pretty much any application, there are entirely sensible ways of keeping the data in graphs and specifying which ones are concerned by queries. This is why Virtuoso is set up for this by default. On the other hand, for the open web scenario, dealing with an unknown large number of graphs, enumerating graphs is not possible and questions like which graph of which source asserts x become relevant. We have two distinct use cases which warrant a different setup of the database, simple as that. The latter use case is not really within the SPARQL spec, so implementations may or may not support this. For example Oracle or Vertica would not do this well since they partition data according to graph or predicate, respectively. On the other hand stores that work with one quad table, which is most of the ones out there should do it maybe with some configuring, as shown above. Frameworks like Jena are not to my knowledge geared towards having a wildcard for graph, although I would suppose this can be arranged by adding some &quot;super-graph&quot; object, a graph of all graphs. I don&#39;t think this is directly supported and besides most apps would not need it. Once the indices are right, there is no difference between specifying a graph and no graph with the queries considered. With more complex queries, specifying a graph or set of graphs does allow some optimizations that cannot be done with graph missing. For example, bitmap intersections are possible only when all leading key parts are given. Conclusions The best warm cache time is with 5, the five queries under 600 ms after the first go. This is to show that all in memory with a single thread of execution is hard to beat. The 6 cluster performs the same in 623 ms. What is gained in parallelism is lost in latency if all operations complete in microseconds. On the other hand, 6 cluster leaves 5 in the dust in any situation that has less than 100% hit rate. This is due to actual benefit from parallelism if operations take longer than a few microseconds, such as in the case of disk reads. 6 has substantially better data layout on disk, as well as fewer pages to load for the same content. This makes it possible to run the queries without the pogs index on 6 even when 5 took prohibitively long. The morale of the story is to have a lot of RAM and space efficient data representation. The Dbpedia benchmark does not specify any random access pattern that would give a measure of sustained throughput under load, so we are left with the extremes of cold and warm cache of which neither is quite realistic. Chris Bizer and I have talked on and off about benchmarks and I have made suggestions that we will see incorporated into the Berlin SPARQL benchmark, which will, I believe, be much more informative. Appendix: Query Text For reference, the query text is below, with graph given. To run without specifying the graph, just drop the from &lt;http://dbpedia.org&gt;. The returned row counts are indicated below the query text. sparql SELECT ?p ?o from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/Metropolitan_Museum_of_Art&gt; ?p ?o }; -- 1337 rows sparql PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?film1 ?actor1 ?film2 ?actor2 from &lt;http://dbpedia.org&gt; WHERE { ?film1 p:starring &lt;http://dbpedia.org/resource/Kevin_Bacon&gt; . ?film1 p:starring ?actor1 . ?film2 p:starring ?actor1 . ?film2 p:starring ?actor2 . }; -- 23910 rows sparql PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?artist ?artwork ?museum ?director from &lt;http://dbpedia.org&gt; WHERE { ?artwork p:artist ?artist . ?artwork p:museum ?museum . ?museum p:director ?director }; -- 303 rows sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt; PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; SELECT ?s ?homepage from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/Berlin&gt; geo:lat ?berlinLat . &lt;http://dbpedia.org/resource/Berlin&gt; geo:long ?berlinLong . ?s geo:lat ?lat . ?s geo:long ?long . ?s foaf:homepage ?homepage . FILTER ( ?lat &lt;= ?berlinLat + 0.03190235436 &amp;&amp; ?long &gt;= ?berlinLong - 0.08679199218 &amp;&amp; ?lat &gt;= ?berlinLat - 0.03190235436 &amp;&amp; ?long &lt;= ?berlinLong + 0.08679199218) }; -- 56 rows sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt; PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt; PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt; PREFIX p: &lt;http://dbpedia.org/property/&gt; SELECT ?s ?a ?homepage from &lt;http://dbpedia.org&gt; WHERE { &lt;http://dbpedia.org/resource/New_York_City&gt; geo:lat ?nyLat . &lt;http://dbpedia.org/resource/New_York_City&gt; geo:long ?nyLong . ?s geo:lat ?lat . ?s geo:long ?long . ?s p:architect ?a . ?a foaf:homepage ?homepage . FILTER ( ?lat &lt;= ?nyLat + 0.3190235436 &amp;&amp; ?long &gt;= ?nyLong - 0.8679199218 &amp;&amp; ?lat &gt;= ?nyLat - 0.3190235436 &amp;&amp; ?long &lt;= ?nyLong + 0.8679199218) }; -- 13 rows</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<div>
<div>We ran the <a href="http://dbpedia.org/resource/DBpedia" id="link-id10f6d398">Dbpedia</a> benchmark queries again with different
configurations of <a href="http://virtuoso.openlinksw.com" id="link-id1088e318">Virtuoso</a>. I had not studied the details of the
matter previously but now did have a closer look at the
queries.</div>
<div>Comparing numbers given by different parties is a constant
problem. In the case reported here, we loaded the full <a href="http://dbpedia.org/resource/DBpedia" id="link-id0x19c00c90">Dbpedia</a> 3,
all languages with about 198M triples on <a href="http://virtuoso.openlinksw.com" id="link-id0x167f06a0">Virtuoso</a> 5 and 6 cluster,
all on the same 4 core 2GHz Xeon with 8G RAM. All databases were
striped on 6 disks. The cluster configuration was with 4 processes
in the same box.</div>
<div>We ran the queries in two variants: The first was with graph
specified in the <a href="http://dbpedia.org/resource/SPARQL" id="link-id10682c50">SPARQL</a> from clause, using the default indices. The
second variant was with no graph specified anywhere, using an
alternate indexing scheme.</div>
<div>The times below are for the sequence of 5 queries, individual
query times are not reported. I did not do a line by line review of
the execution plans since they seem to run well enough. We could
get some extra mileage from cost model tweaks, specially for the
numeric range conditions but we will do this when somebody comes up
with better times.</div>
<div>First about 5: Because there is a query in the set that
specifies no condition on S or O and only P, this simply cannot be
done with the default indices. With 6 it sort of can because 6 is
more space efficient.</div>
<div>So we added the index:</div>
<pre>
create bitmap index <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id0x717ae00">rdf</a>_quad_pogs on rdf_quad (p, o, g, s);

5 with gspo, ogps, pogs 
cold   210s
warm  0.600s

6 cluster with gspo, ogps 
cold  136s
warm 4.01 s


6 cluster with gspo, ogpps, pogs
cold  33.4s
warm 0.628 s
</pre>
<div>OK, so now let us do it without a graph being specified. For
all platforms, we do:</div>
<div>- Drop any existing indices.</div>
<pre>
create table r2 (g iri_id_8, s, iri_id_8, p iri_id_8, o any, primary key (s, p, o, g))
alter index R2 on R2 partition (s int (0hexffff00));

log_enable (2);
insert into r2 (g, s, p, o) select g, s, p, o from rdf_quad;

drop table rdf_quad;
alter table r2 rename RDF_QUAD;
create bitmap index rdf_quad_opgs on rdf_quad (o, p, g, s) partition (o varchar (-1, 0hexffff));
create bitmap index rdf_quad_pogs on rdf_quad (p, o, g, s) partition (o varchar (-1, 0hexffff));
create bitmap index rdf_quad_gpos on rdf_quad (g, p, o, s) partition (o varchar (-1, 0hexffff));
</pre>
<div>The code is identical for 5 and 6, except that with 5 we use
iri_id (32 bit) for the type, not iri_id_8 (64 bit). We note that
we run out of id&#39;s with 5 around a few billion triples, so with 6
we have double the id length and still manage to be vastly more
space efficient.</div>
<div>With the above 4 indices, we can query the <a href="http://dbpedia.org/resource/Data" id="link-id10865200">data</a> pretty much in
any combination without hitting a full scan of any index. We note
that all indices that do not begin with s end with s as a bitmap.
This is about 60% of the space of a non-bitmap index for <a href="http://dbpedia.org/resource/Data" id="link-id0xfeba9d8">data</a> such
as Dbpedia.</div>
<div>If you intend to do completely arbitrary RDF queries in
Virtuoso, then chances are you are best off with the above index
scheme.</div>
<pre>
5 with spog, pogs, opgs, gpos 
warm 0.595 s

6 cluster  with spog, pogs, opgs, gpos 
warm 0.617 s
</pre>
<div>The cold times were about the same as above, so not
reproduced.</div>
<div>Graph or No Graph?</div>
<div>It is in the <a href="http://dbpedia.org/resource/SPARQL" id="link-id0x1050d8f0">SPARQL</a> spirit to specify a graph and for pretty
much any application, there are entirely sensible ways of keeping
the data in graphs and specifying which ones are concerned by
queries. This is why Virtuoso is set up for this by default.</div>
<div>On the other hand, for the open web scenario, dealing with an
unknown large number of graphs, enumerating graphs is not possible
and questions like which graph of which source asserts x become
relevant. We have two distinct use cases which warrant a different
setup of the database, simple as that.</div>
<div>The latter use case is not really within the SPARQL spec, so
implementations may or may not support this. For example <a href="http://dbpedia.org/resource/Oracle_Database" id="link-id1089a608">Oracle</a> or
Vertica would not do this well since they partition data according
to graph or predicate, respectively. On the other hand stores that
work with one quad table, which is most of the ones out there
should do it maybe with some configuring, as shown above.</div>
<div>Frameworks like Jena are not to my <a href="http://dbpedia.org/resource/Knowledge" id="link-id10a139a8">knowledge</a> geared towards
having a wildcard for graph, although I would suppose this can be
arranged by adding some &quot;super-graph&quot; object, a graph of all
graphs. I don&#39;t think this is directly supported and besides most
apps would not need it.</div>
<div>Once the indices are right, there is no difference between
specifying a graph and no graph with the queries considered. With
more complex queries, specifying a graph or set of graphs does
allow some optimizations that cannot be done with graph missing.
For example, bitmap intersections are possible only when all
leading key parts are given.</div>
<h3>Conclusions</h3>
<div>The best warm cache time is with 5, the five queries under
600 ms after the first go. This is to show that all in memory with
a single thread of execution is hard to beat.</div>
<div>The 6 cluster performs the same in 623 ms. What is gained in
parallelism is lost in latency if all operations complete in
microseconds. On the other hand, 6 cluster leaves 5 in the dust in
any situation that has less than 100% hit rate. This is due to
actual benefit from parallelism if operations take longer than a
few microseconds, such as in the case of disk reads. 6 has
substantially better data layout on disk, as well as fewer pages to
load for the same content.</div>
<div>This makes it possible to run the queries without the pogs
index on 6 even when 5 took prohibitively long.</div>
<div>The morale of the story is to have a lot of RAM and space
efficient data representation.</div>
<div>The Dbpedia benchmark does not specify any random access
pattern that would give a measure of sustained throughput under
load, so we are left with the extremes of cold and warm cache of
which neither is quite realistic.</div>
<div>Chris Bizer and I have talked on and off about benchmarks and
I have made suggestions that we will see incorporated into the
Berlin SPARQL benchmark, which will, I believe, be much more
informative.</div>
<h3>Appendix: Query Text</h3>
<div>For reference, the query text is below, with graph given. To
run without specifying the graph, just drop the from
&lt;<a href="http://dbpedia.org/resource/Hypertext_Transfer_Protocol" id="link-id105403c0">http</a>://dbpedia.org&gt;. The returned row counts are indicated
below the query text.</div>
<pre>
sparql SELECT ?p ?o from &lt;<a href="http://dbpedia.org/resource/Hypertext_Transfer_Protocol" id="link-id0x7075c98">http</a>://dbpedia.org&gt; WHERE {
  &lt;http://dbpedia.org/resource/Metropolitan_Museum_of_Art&gt; ?p ?o };

-- 1337 rows

sparql PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?film1 ?actor1 ?film2 ?actor2
from &lt;http://dbpedia.org&gt; WHERE {
  ?film1 p:starring &lt;http://dbpedia.org/resource/Kevin_Bacon&gt; .
  ?film1 p:starring ?actor1 .
  ?film2 p:starring ?actor1 .
  ?film2 p:starring ?actor2 . };

--  23910 rows

sparql PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?artist ?artwork ?museum ?director from &lt;http://dbpedia.org&gt; 
WHERE {
  ?artwork p:artist ?artist .
  ?artwork p:museum ?museum .
  ?museum p:director ?director };

-- 303 rows

sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt;
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt;
SELECT ?s ?homepage from &lt;http://dbpedia.org&gt;  WHERE {
   &lt;http://dbpedia.org/resource/Berlin&gt; geo:lat ?berlinLat .
   &lt;http://dbpedia.org/resource/Berlin&gt; geo:long ?berlinLong . 
   ?s geo:lat ?lat .
   ?s geo:long ?long .
   ?s foaf:homepage ?homepage .
   FILTER (
     ?lat        &lt;=     ?berlinLat + 0.03190235436 &amp;&amp;
     ?long       &gt;=     ?berlinLong - 0.08679199218 &amp;&amp;
     ?lat        &gt;=     ?berlinLat - 0.03190235436 &amp;&amp; 
     ?long       &lt;=     ?berlinLong + 0.08679199218) };

-- 56 rows


sparql PREFIX geo: &lt;http://www.w3.org/2003/01/geo/wgs84_pos#&gt;
PREFIX foaf: &lt;http://xmlns.com/foaf/0.1/&gt;
PREFIX xsd: &lt;http://www.w3.org/2001/XMLSchema#&gt;
PREFIX p: &lt;http://dbpedia.org/property/&gt;
SELECT ?s ?a ?homepage from &lt;http://dbpedia.org&gt;  WHERE {
   &lt;http://dbpedia.org/resource/New_York_City&gt; geo:lat ?nyLat .
   &lt;http://dbpedia.org/resource/New_York_City&gt; geo:long ?nyLong . 
   ?s geo:lat ?lat .
   ?s geo:long ?long .
   ?s p:architect ?a .
   ?a foaf:homepage ?homepage .
   FILTER (
     ?lat        &lt;=     ?nyLat + 0.3190235436 &amp;&amp;
     ?long       &gt;=     ?nyLong - 0.8679199218 &amp;&amp;
     ?lat        &gt;=     ?nyLat - 0.3190235436 &amp;&amp; 
     ?long       &lt;=     ?nyLong + 0.8679199218) };

-- 13 rows
</pre>
</div>
]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Orri Erling &lt;oerling@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/~kidehen/?id=1357">
  <rss:title>Comments about recent Semantic Gang Podcast</rss:title>
  <rss:link>http://www.openlinksw.com/blog/~kidehen/?id=1357</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1357</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/~kidehen/gems/rsscomment.xml?:id=1357</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-02T21:44:31Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">After listening to the latest Semantic Web Gang podcast, I found myself agreeing with some of the points made by Alex Iskold, specifically: -- Linked Data does not implicitly imply making all your data public -- Linked Data principles benefit Intranet and Extranet style data integration (trumps alternative distributed database integration approaches any day) -- Business exploitation of Linked Data on the Web will certainly be driven by the correlation of opportunity costs (which is more than likely what Alex meant by &quot;use cases&quot;) associated with the lack of URIs originating from the domain of a given business (Tom Heath: also effectively alluded to this via his BBC and URI land grab anecdotes; same applies Georgi&#39;s examples) -- History is a great tutor, answers to many of today&#39;s problems always lie somewhere in plain sight of the past. Of course, I also believe that Linked Data serves Web Data Integration across the Internet very well too, and the fact that it will be beneficial to businesses in a big way. No individual or organization is an island, I think the Internet and Web have done a good job of demonstrating that thus far :-) We&#39;re all data nodes in a Giant Global Graph. Daniel lewis did shed light on the read-write aspects of the Linked Data Web, which is actually very close to the callout for a Wikipedia for Data. TimBL has been working on this via Tabulator (see Tabulator Editing Screencast), Bengamin Nowack also added similar functionality to ARC, and of course we support the same SPARQL UPDATE into an RDF information resource via the RDF Sink feature of our WebDAV and ODS-Briefcase implementations.</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<p>After listening to the <a href="http://semanticgang.talis.com/2008/05/02/april-2008-the-semantic-web-gang-discuss-a-wikipedia-for-data/" id="link-id1089e218">latest Semantic Web Gang podcast</a>, I found myself agreeing with some of the points made by <a href="http://www.linkedin.com/in/iskold" id="link-id10b91e58">Alex Iskold</a>, specifically:

</p>
<ul>-- <a href="http://dbpedia.org/resource/Linked_Data" id="link-id106e24e0">Linked Data</a> does not implicitly imply making all your <a href="http://dbpedia.org/resource/Data" id="link-id17ab3d48">data</a> public</ul>
<ul>-- <a href="http://dbpedia.org/resource/Linked_Data" id="link-id11fdcef0">Linked Data</a> principles benefit <a href="http://dbpedia.org/resource/Intranet" id="link-id109756e8">Intranet</a> and <a href="http://dbpedia.org/resource/Extranet" id="link-id1099cfd8">Extranet</a> style <a href="http://dbpedia.org/resource/Data" id="link-id10cd25b0">data</a> integration (trumps alternative <a href="http://dbpedia.org/resource/federated_database_system" id="link-id14f29940">distributed database</a> integration approaches any day)</ul>
<ul>-- Business exploitation of <a href="http://dbpedia.org/resource/Linked_Data" id="link-id0xca51940">Linked Data</a> on the <a href="http://dbpedia.org/resource/World_Wide_Web">Web</a> will certainly be driven by the correlation of opportunity costs (which is more than likely what Alex meant by &quot;use cases&quot;) associated with the lack of URIs originating from the domain of a given business (Tom Heath: also effectively alluded to this via his <a href="http://dbpedia.org/resource/BBC" id="link-id16f33348">BBC</a> and <a href="http://dbpedia.org/resource/Uniform_Resource_Identifier" id="link-id10decf38">URI</a> land grab anecdotes; same applies Georgi&#39;s examples)</ul>
<ul>-- History is a great tutor, answers to many of today&#39;s problems always lie somewhere in plain sight of the past.</ul>

<p>Of course, I also believe that <a href="http://dbpedia.org/resource/Linked_Data">Linked Data</a> serves Web <a href="http://dbpedia.org/resource/Data" id="link-id0x1afebd58">Data</a> Integration across the <a href="http://dbpedia.org/resource/Internet" id="link-id10aa5668">Internet</a> very well too, and the fact that it will be beneficial to businesses in a big way. No individual or organization is an island, I think the <a href="http://dbpedia.org/resource/Internet" id="link-id0xb25fbd0">Internet</a> and Web have done a good job of demonstrating that thus far :-) We&#39;re all <a href="http://dbpedia.org/resource/Data">data</a> nodes in a <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id5d8a3a8">Giant Global Graph</a>.</p>

<p>
<a href="http://myopenlink.net/dataspace/person/danieljohnlewis#this" id="link-id17cac8a0">Daniel lewis</a> did shed light on the read-write aspects of the Linked Data <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id10be8590">Web</a>, which is actually very close to the callout for a Wikipedia for Data. <a href="http://www.w3.org/People/Berners-Lee/card#i" id="link-id10a810c0">TimBL</a> has been working on this via <a href="http://dig.csail.mit.edu/2005/ajar/release/tabulator/0.8/tab.html" id="link-id184b7108">Tabulator</a> (see <a href="http://dig.csail.mit.edu/2007/tab/tutorial/editing.mov" id="link-id1416f1e8">Tabulator Editing Screencast</a>), <a href="http://bnode.org/about" id="link-id17e33750">Bengamin Nowack</a> also added <a href="http://arc.semsol.org/download/plugins/data_wiki" id="link-id1688cc40">similar functionality to ARC</a>, and of course we support the same <a href="http://dbpedia.org/resource/SPARQL" id="link-id10bff7c8">SPARQL</a> UPDATE into an <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id168ace08">RDF</a> <a href="http://dbpedia.org/resource/Information" id="link-id10641878">information</a> resource via the <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id0xddb5240">RDF</a> Sink feature of our WebDAV and <a href="http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/OdsBriefcase" id="link-id0x11199310">ODS</a>-Briefcase implementations.</p>]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Kingsley Uyi Idehen &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/~kidehen/?id=1356">
  <rss:title>In Perpetual Pursuit of Context</rss:title>
  <rss:link>http://www.openlinksw.com/blog/~kidehen/?id=1356</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1356</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/~kidehen/gems/rsscomment.xml?:id=1356</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-02T19:18:33Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">I&#39;ve always been of the opinion that concise value proposition articulation shouldn&#39;t be the achilles of the Semantic Web. As the Linked Data wave climbs up the &quot;value Appreciation and Comprehension chain&quot;, it&#39;s getting clearer by the second that &quot;Context&quot; is a point of confluence for Semantic Web Technologies and easy to comprehend value, from the perspectives of those outside the core community. In today&#39;s primarily Document centric Web, the pursuit of Context is akin to pursuing a mirage in a desert of user generated content. The quest is labor intensive, and you ultimaely end up without water at the end of the pursuit :-) Listening to the Christine Connor&#39;s podcast interview with Talis simply reinforces my strong belief that &quot;Context, Context, Context&quot; is the Semantic Web&#39;s equivalent of Real Estate&#39;s &quot;Location, Location, Location&quot; (ignore the subprime loans mess for now). The critical thing to note is that you cannot unravel &quot;Context&quot; from existing Web content without incorporating powerful disambiguation technology into an &quot;Entity Extraction&quot; process. Of course, you cannot even consider seriously pursing any entity extraction and disambiguation endeavor without a lookup backbone that exposes &quot;Named Entities&quot; and their relationships to &quot;Subject matter Concepts&quot; (BTW - this is what UMBEL is all about). Thus, when looking at the broad subject of the Semantic Web, we can also look at &quot;Context&quot; as the vital point of confluence for the Data oriented (Linked Data) and the &quot;Linguistic Meaning&quot; oriented perspectives. I am even inclined to state publicly that &quot;Context&quot; may ultimately be the foundation for 4th &quot;Web Interaction Dimension&quot; where practical use of AI leverages a Linked Data Web substrate en route to exposing new kinds of value :-) &quot;Context&quot; may also be the focal point of concise value proposition articulation to VCs as in: &quot;My solution offers the ability to discover and exploit &quot;Context&quot; iteratively, at the rate of $X.XX per iteration, across a variety of market segments :-)</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<p>I&#39;ve always been of the opinion that concise value proposition articulation shouldn&#39;t be the achilles of the <a href="http://dbpedia.org/resource/Semantic_Web" id="link-id158efe90">Semantic Web</a>. As the <a href="http://dbpedia.org/resource/Linked_Data" id="link-id13a2db40">Linked Data</a> wave climbs up the &quot;value Appreciation and Comprehension chain&quot;, it&#39;s getting clearer by the second that &quot;<a href="http://dbpedia.org/resource/Context_%28language_use%29" id="link-id109316f0">Context</a>&quot; is a point of confluence for <a href="http://dbpedia.org/resource/Semantic_Web" id="link-id108daa60">Semantic Web</a> Technologies and easy to comprehend value, from the perspectives of those outside the core community.</p>

<p>In today&#39;s primarily Document centric <a href="http://dbpedia.org/resource/World_Wide_Web">Web</a>, the pursuit of <a href="http://dbpedia.org/resource/Context_%28language_use%29" id="link-id14edadd0">Context</a> is akin to pursuing a mirage in a desert of user generated content. The quest is labor intensive, and you ultimaely end up without water at the end of the pursuit :-)</p>

<p>Listening to the <a href="http://blogs.talis.com/nodalities/2008/05/christine-connors-talks-about-semantic-technologies-at-dow-jones.php" id="link-id12d5e1c0">Christine Connor&#39;s podcast interview with Talis</a> simply reinforces my strong belief that &quot;<a href="http://dbpedia.org/resource/Context_%28language_use%29" id="link-id0x1ec69518">Context</a>, Context, Context&quot; is the <a href="http://dbpedia.org/resource/Semantic_Web" id="link-id0xa279438">Semantic Web</a>&#39;s equivalent of Real Estate&#39;s &quot;Location, Location, Location&quot; (ignore the <a href="http://dbpedia.org/resource/Subprime_lending" id="link-id140b8098">subprime</a> loans mess for now). The critical thing to note is that you cannot unravel &quot;Context&quot; from existing Web content without incorporating powerful disambiguation technology into an &quot;<a href="http://dbpedia.org/resource/Entity" id="link-id15a2f380">Entity</a> Extraction&quot; process. Of course, you cannot even consider seriously pursing any <a href="http://dbpedia.org/resource/Entity" id="link-id10868a18">entity</a> extraction and disambiguation endeavor without a lookup backbone that exposes &quot;<a href="http://dbpedia.org/resource/Named_entity_recognition" id="link-id168dc230">Named Entities</a>&quot; and their relationships to &quot;<a href="http://dbpedia.org/resource/Topic" id="link-id17cb1950">Subject matter Concepts</a>&quot; (BTW - this is what <a href="http://umbel.org/about/" id="link-id14f406a0">UMBEL</a> is all about). Thus, when looking at the broad subject of the <a href="http://dbpedia.org/resource/Semantic_Web">Semantic Web</a>, we can also look at &quot;Context&quot; as the vital point of confluence for the <a href="http://dbpedia.org/resource/Data" id="link-id12d67e38">Data</a> oriented (<a href="http://dbpedia.org/resource/Linked_Data" id="link-id14f8daf0">Linked Data</a>) and the &quot;Linguistic Meaning&quot; oriented perspectives.</p>
<p>I am even inclined to state publicly that &quot;Context&quot; may ultimately be the foundation for <a href="http://www.openlinksw.com/weblog/public/search.vspx?blogid=127&q=dimension%20web%204.0%20&type=text&output=html" id="link-id17cb0708">4th &quot;Web Interaction Dimension&quot;</a> where practical use of <a href="http://dbpedia.org/resource/Artificial_intelligence" id="link-id10b15088">AI</a> leverages a <a href="http://dbpedia.org/resource/Linked_Data" id="link-id0x1ebf9310">Linked Data</a> <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id10b27018">Web</a> substrate en route to exposing new kinds of value :-)</p> 

<p>&quot;Context&quot; may also be the focal point of concise value proposition articulation to <a href="http://dbpedia.org/resource/Venture_Capital" id="link-id10837578">VCs</a> as in: &quot;My solution offers the ability to discover and exploit &quot;Context&quot; iteratively, at the rate of $X.XX per iteration, across a variety of market segments :-)</p>]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Kingsley Uyi Idehen &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/~kidehen/?id=1355">
  <rss:title>XTech Talks covering Linked Data </rss:title>
  <rss:link>http://www.openlinksw.com/blog/~kidehen/?id=1355</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1355</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/~kidehen/gems/rsscomment.xml?:id=1355</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-05-02T14:53:08Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">Courtesy a post by Chris Bizer to the LOD community mailing list, here is a list of Linked Data oriented talks at the upcoming XTech 2008 event (also see the XTech 2008 Schedule which is Linked Data friendly). Of course, I am posting this to my Blog Data Space with the sole purpose of adding data to the rapidly growing Giant Global Graph of Linked Data, basically adding to my collection of live Linked Data utility demos :-) Here is the list: Linked Data Deployment (Daniel Lewis, OpenLink Software) The Programmes Ontology (Tom Scott, BBC and all) SemWebbing the London Gazette (Jeni Tennison, The Stationery Office) Searching, publishing and remixing a Web of Semantic Data (Richard Cyganiak, DERI Galway) Building a Semantic Web Search Engine: Challenges and Solutions (Aidan Hogan, DERI Galway) &#39;That&#39;s not what you said yesterday!&#39; - evolving your Web API (Ian Davis, Talis) Representing, indexing and mining scientific data using XML and RDF: Golem and CrystalEye (Andrew Walkingshaw, University of Cambridge) For the time challenged (i.e. those unable to view this post using it&#39;s permalink / URI as a data source via the OpenLink RDF Browser, Zitgist Data Viewer, DISCO Hyperdata Browser, or Tabulator), the benefits of this post are as follows: automatic URI generation for all linked items in this post automatic propagation of tags to del.icio.us, Technorati, and PingTheSemanticWeb automatic association of formal meanings to my Tags using the MOAT Ontology automatic collation and generation of statistical data about my tags using the SCOT Ontology (*missing link is a callout to SCOT Tag Ontology folks to sort the project&#39;s home page URL at the very least*) explicit typing of my Tags as SKOS Concepts. Put differently, I cost-effectively contribute to the GGG across all Web interaction dimensions (1.0, 2.0, 3.0) :-)</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<p>Courtesy a post by <a href="http://community.linkeddata.org/dataspace/person/bizer#this" id="link-id10868548">Chris Bizer</a> to the <a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id15739748">LOD</a> community <a href="http://lists.w3.org/Archives/Public/public-lod/" id="link-id10fae0f8">mailing list</a>, here is a list of <a href="http://dbpedia.org/resource/Linked_Data" id="link-id140a0880">Linked Data</a> oriented talks at the upcoming <a href="http://2008.xtech.org" id="link-id12801f00">XTech</a> 2008 event (also see the <a href="http://2008.xtech.org/public/schedule/grid" id="link-id10f65940">XTech 2008 Schedule</a> which is <a href="http://dbpedia.org/resource/Linked_Data" id="link-id1258a4c8">Linked Data</a> friendly). Of course, I am posting this to my <a href="http://dbpedia.org/resource/Blog" id="link-id140a29c0">Blog</a> <a href="http://dbpedia.org/resource/Data" id="link-id12d5a640">Data</a> <a href="http://en.wikipedia.org/wiki/Data_Spaces" id="link-id10979b80">Space</a> with the sole purpose of adding <a href="http://dbpedia.org/resource/Data" id="link-id176be078">data</a> to the rapidly growing <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id1099aec8">Giant Global Graph</a> of <a href="http://dbpedia.org/resource/Linked_Data" id="link-id10d72d88">Linked Data</a>, basically adding to my collection of live <a href="http://dbpedia.org/resource/Linked_Data" id="link-id11014000">Linked Data</a> utility demos :-)</p>







<p>Here is the list:</p>



<ol>



  <li>



  <a href="http://2008.xtech.org/public/schedule/detail/561" id="link-id17df4d78">Linked Data Deployment</a> (<a href="http://myopenlink.net/dataspace/person/danieljohnlewis#this" id="link-id17c47d28">Daniel Lewis</a>, <a href="http://www.openlinksw.com/dataspace/organization/openlink#this" id="link-id108fce00">OpenLink Software</a>)</li>



  <li>



  <a href="http://2008.xtech.org/public/schedule/detail/524" id="link-id1068c0e0">The Programmes Ontology</a> (Tom Scott, <a href="http://dbpedia.org/resource/BBC" id="link-id1566da50">BBC</a> and all) </li>



  <li>



  <a href="http://2008.xtech.org/public/schedule/detail/528" id="link-id1072be40">SemWebbing the London Gazette</a> (Jeni Tennison, The Stationery Office) </li>



  <li>



  <a href="http://2008.xtech.org/public/schedule/detail/583" id="link-id1099e4e0">Searching, publishing and remixing a Web of Semantic Data</a> (<a href="http://community.linkeddata.org/dataspace/person/cygri#this" id="link-id17e25b78">Richard Cyganiak</a>,  DERI Galway) </li>



  <li>



  <a href="http://2008.xtech.org/public/schedule/detail/477" id="link-idf9764c8">Building a Semantic Web Search Engine: Challenges and Solutions</a> (Aidan Hogan, DERI Galway) </li>



  <li>&#39;<a href="http://2008.xtech.org/public/schedule/detail/550" id="link-id140a3c50">That&#39;s not what you said yesterday!</a>&#39; - evolving your <a href="http://dbpedia.org/resource/World_Wide_Web">Web</a> API (<a href="http://iandavis.com/id/me" id="link-id14f8d498">Ian Davis</a>, Talis) </li>

<li>
  <a href="http://2008.xtech.org/public/schedule/detail/527" id="link-id10c5a9c8">Representing, indexing and mining scientific data using XML and RDF: Golem and CrystalEye</a> (<a href="http://wwmm.ch.cam.ac.uk/blogs/walkingshaw/" id="link-id108c5e28">Andrew Walkingshaw</a>,
<a href="http://dbpedia.org/resource/University_of_Cambridge" id="link-id10891560">University of Cambridge</a>)</li>



</ol>







<p>For the time challenged (i.e. those unable to view this post using it&#39;s permalink / <a href="http://dbpedia.org/resource/Uniform_Resource_Identifier" id="link-id10db39f0">URI</a> as a <a href="http://dbpedia.org/resource/Data" id="link-id10f29bb8">data</a> source via the <a href="http://demo.openlinksw.com/rdfbrowser" id="link-id10f72778">OpenLink RDF Browser</a>, <a href="http://zitgist.com/about/" id="link-id107b73b0">Zitgist</a> <a href="http://dataviewer.zitgist.com" id="link-id1686d528">Data Viewer</a>, <a href="http://www4.wiwiss.fu-berlin.de/rdf_browser" id="link-id110479e8">DISCO Hyperdata Browser</a>, or <a href="http://dig.csail.mit.edu/2005/ajar/release/tabulator/0.8/tab.html" id="link-id140ba0e8">Tabulator</a>), the benefits of this post  are as follows:</p>



<ul>

  <li>automatic <a href="http://dbpedia.org/resource/Uniform_Resource_Identifier" id="link-id172d2fc8">URI</a> generation for all linked items in this post</li>

  <li>automatic propagation of tags to <a href="http://del.icio.us" id="link-id10547380">del</a>.<a href="http://del.icio.us" id="link-id1093cc10">icio</a>.<a href="http://del.icio.us" id="link-id168ce3a0">us</a>, <a href="http://www.technorati.com" id="link-id17aa8af0">Technorati</a>, and <a href="http://www.pingthesemanticweb.com/about/" id="link-id10868ad8">PingTheSemanticWeb</a> </li>

  <li>automatic association of formal meanings to my Tags using the <a href="http://moat-project.org/ontology" id="link-id10c98608">MOAT Ontology</a> </li>

  <li>automatic collation and generation of statistical <a href="http://dbpedia.org/resource/Data" id="link-id10a4d1d8">data</a> about my tags using the SCOT Ontology (*missing link is a callout to SCOT <a href="http://dbpedia.org/resource/Tag" id="link-id168b7c10">Tag</a> Ontology  folks to sort the project&#39;s home page <a href="http://dbpedia.org/resource/Uniform_Resource_Locator" id="link-id11fd4118">URL</a> at the very least*) </li>

  <li>explicit typing of my Tags as <a href="http://dbpedia.org/resource/SKOS" id="link-id10940eb8">SKOS</a> Concepts. </li>

</ul>

<p>Put differently, I cost-effectively contribute to the <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id10a081a8">GGG</a> across all <a href="http://www.openlinksw.com/weblog/public/search.vspx?blogid=127&q=web%20dimensions&type=text&output=html" id="link-id10597530">Web interaction dimensions</a> (1.0, 2.0, 3.0) :-)</p>]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Kingsley Uyi Idehen &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/vdb/blog/?id=1354">
  <rss:title>SPARQL at WWW 2008</rss:title>
  <rss:link>http://www.openlinksw.com/blog/vdb/blog/?id=1354</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1354</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/vdb/blog/gems/rsscomment.xml?:id=1354</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-04-30T16:28:10Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">SPARQL at WWW 2008 Andy Seaborne and Eric Prud&#39;hommeaux, editors of the SPARQL recommendation, convened a SPARQL birds of a feather session at WWW 2008. The administrative outcome was that implementors could now experiment with extensions, hopefully keeping each other current about their efforts and that towards the end of 2008, a new W3C working group might begin formalizing the experiences into a new SPARQL spec. The session drew a good crowd, including many users and developers. The wishes were largely as expected, with a few new ones added. Many of the wishes already had diverse implementations, however most often without interop. I will below give some comments on the main issues discussed. SPARQL Update - This is likely the most universally agreed upon extension. Implementations exist, largely along the lines of Andy Seaborne&#39;s SPARUL spec, which is also likely material for a W3C member submission. The issue is without much controversy; transactions fall outside the scope, which is reasonable enough. With triple stores, we can define things as combinations of inserts and deletes, and isolation we just leave aside. If anything, operating on a transactional platform such as Virtuoso, one wishes to disable transactions for any operations such as bulk loads and long-running inserts and deletes. Transactionality has pretty much no overhead for a few hundred rows, but for a few hundred million rows the cost of locking and rollback is prohibitive. With Virtuoso, we have a row auto-commit mode which we recommend for use with RDF: It commits by itself now and then, optionally keeping a roll forward log, and is transactional enough not to leave half triples around, i.e., inserted in one index but not another. As far as we are concerned, updating physical triples along the SPARUL lines is pretty much a done deal. The matter of updating relational data mapped to RDF is a whole other kettle of fish. On this, I should say that RDF has no special virtues for expressing transactions but rather has a special genius for integration. Updating is best left to web service interfaces that use SQL on the inside. Anyway, updating union views, which most mappings will be, is complicated. Besides, for transactions, one usually knows exactly what one wishes to update. Full Text - Many people expressed a desire for full text access. Here we run into a deplorable confusion with regexps. The closest SPARQL has to full text in its native form is regexps, but these are not really mappable to full text except in rare special cases and I would despair of explaining to an end user what exactly these cases are. So, in principle, some regexps are equivalent to full text but in practice I find it much preferable to keep these entirely separate. It was noted that what the users want is a text box for search words. This is a front end to the CONTAINS predicate of most SQL implementations. Ours is MS SQL Server compatible and has a SPARQL version called bif:contains. One must still declare which triples one wants indexed for full text, though. This admin overhead seems inevitable, as text indexing is a large overhead and not needed by all applications. Also, text hits are not boolean; usually they come with a hit score. Thus, a SPARQL extension for this could look like select * where { ?thing has_description ?d . ?d ftcontains &quot;gizmo&quot; ftand &quot;widget&quot; score ?score . } This would return all the subjects, descriptions, and scores, from subjects with a has_description property containing widget and gizmo. Extending the basic pattern is better than having the match in a filter, since the match binds a variable. The XQuery/XPath groups have recently come up with a full-text spec, so I used their style of syntax above. We already have a full-text extension, as do some others. but for standardization, it is probably most appropriate to take the XQuery work as a basis. The XQuery full-text spec is quite complex, but I would expect most uses to get by with a small subset, and the structure seems better thought out, at first glance, than the more ad-hoc implementations in diverse SQLs. Again, declaring any text index to support the search, as well as its timeliness or transactionality, are best left to implementations. Federation - This is a tricky matter. ARQ has a SPARQL extension for sending a nested set of triple patterns to a specific end-point. The DARQ project has something more, including a selectivity model for SPARQL. With federated SQL, life is simpler since after the views are expanded, we have a query where each table is at a known server and has more or less known statistics. Generally, execution plans where as much work as possible is pushed to the remote servers are preferred, and modeling the latencies is not overly hard. With SPARQL, each triple pattern could in principle come from any of the federated servers. Associating a specific end-point to a fragment of the query just passes the problem to the user. It is my guess that this is the best we can do without getting very elaborate, and possibly buggy, end-point content descriptions for routing federated queries. Having said this, there remains the problem of join order. I suggested that we enhance the protocol by allowing asking an end-point for the query cost for a given SPARQL query. Since they all must have a cost model for optimization, this should not be an impossible request. A time cost and estimated cardinality would be enough. Making statistics available à la DARQ was also discussed. Being able to declare cardinalities expected of a remote end-point is probably necessary anyway, since not all will implement the cost model interface. For standardization, agreeing on what is a proper description of content and cardinality and how fine grained this must be will be so difficult that I would not wait for it. A cost model interface would nicely hide this within the end-point itself. With Virtuoso, we do not have a federated SPARQL scheme but we could have the ARQ-like service construct. We&#39;d use our own cost model with explicit declarations of cardinalities of the remote data for guessing a join order. Still, this is a bit of work. We&#39;ll see. For practicality, the service construct coupled with join order hints is the best short term bet. Making this pretty enough for standardization is not self-evident, as it requires end-point description and/or cost model hooks for things to stay declarative. End-point description - This question has been around for a while; I have blogged about it earlier, but we are not really at a point where there would be even rough consensus about an end-point ontology. We should probably do something on our own to demonstrate some application of this, as we host lots of linked open data sets. SQL equivalence - There were many requests for aggregation, some for subqueries and nesting, expressions in select, negation, existence and so on. I would call these all SQL equivalence. One use case was taking all the teams in the database and for all with over 5 members, add the big_team class and a property for member count. With Virtuoso, we could write this as -- construct { ?team a big_team . ?team member_count ?ct } from ... where {?team a team . { select ?team2 count (*) as ?ct where { ?m member_of ?team2 } . filter (?team = ?team2 and ? ct &gt; 5) }} We have pretty much all the SQL equivalence features, as we have been working for some time at translating the TPC-H workload into SPARQL. The usefulness of these things is uncontested but standardization could be hard as there are subtle questions about variable scope and the like. Inference - The SPARQL spec does not deal with transitivity or such matters because it is assumed that these are handled by an underlying inference layer. This is however most often not so. There was interest in more fine grained control of inference, for example declaring that just one property in a query would be transitive or that subclasses should be taken into account in only one triple pattern. As far as I am concerned, this is very reasonable, and we even offer extensions for this sort of thing in Virtuoso&#39;s SPARQL. This however only makes sense if the inference is done at query time and pattern by pattern. For instance, if forward chaining is used, this no longer makes sense. Specifying that some forward chaining ought to be done at query time is impractical, as the operation can be very large and time consuming and it is the DBA&#39;s task to determine what should be stored and for how long, how changes should be propagated, and so on. All these are application dependent and standardizing will be difficult. Support for RDF features like lists and bags would all fall into the functions an underlying inference layer should perform. These things are of special interest when querying OWL models, for example. Path expressions - Path expressions were requested by a few people. We have implemented some, as in ?product+?has_supplier+&gt;s_name = &quot;Gizmos, Inc.&quot;. This means that one supplier of product has name &quot;Gizmo, Inc.&quot;. This is a nice shorthand but we run into problems if we start supporting repetitive steps, optional steps, and the like. In conclusion, update, full text, and basic counting and grouping would seem straightforward at this point. Nesting queries, value subqueries, views, and the like should not be too hard if an agreement is reached on scope rules. Inference and federation will probably need more experimentation but a lot can be had already with very simple fine grained control of backward chaining, if such applies, or with explicit end-point references and explicit join order. These are practical but not pretty enough for committee consensus, would be my guess. Anyway, it will be a few months before anything formal will happen.</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<div>
<div style="display:none;">SPARQL at WWW 2008</div>
<p>Andy Seaborne and Eric Prud&#39;hommeaux, editors of the <a href="http://dbpedia.org/resource/SPARQL" id="link-id0x1501d1a0">SPARQL</a> recommendation, convened a SPARQL birds of a feather session at <a href="http://www2008.org/" id="link-id0xb9d6c10">WWW 2008</a>. The administrative outcome was that implementors could now
experiment with extensions, hopefully keeping each other current about their efforts and that towards the end of 2008, a new W3C working group might begin formalizing the experiences into a new SPARQL spec.</p>
<p>The session drew a good crowd, including many users and developers. The wishes were largely as expected, with a few new ones added. Many of the wishes already had diverse implementations, however most often without interop. I will below give some comments on the main issues discussed.</p>
</div>
<li>
<p>
  <b>SPARQL Update</b> - This is likely the most universally agreed upon extension. Implementations exist, largely along the lines of Andy Seaborne&#39;s SPARUL spec, which is also likely material for a W3C member submission. The issue is without much controversy; transactions fall outside the scope, which is reasonable enough. With triple stores, we can define things as combinations of inserts and deletes, and isolation we just leave aside. If anything, operating on a transactional platform such as <a href="http://virtuoso.openlinksw.com" id="link-id0xc13fe98">Virtuoso</a>, one wishes to disable transactions for any operations such as bulk loads and long-running inserts and deletes. Transactionality has pretty much no overhead for a few hundred rows, but for a few hundred million rows the cost of locking and rollback is prohibitive. With Virtuoso, we have a row auto-commit mode which we recommend for use with <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id0xd7bff00">RDF</a>: It commits by itself now and then, optionally keeping a roll forward log, and is transactional enough not to leave half triples around, i.e., inserted in one index but not another.</p>
<p>As far as we are concerned, updating physical triples along the SPARUL lines is pretty much a done deal.</p>
<p>The matter of updating relational <a href="http://dbpedia.org/resource/Data" id="link-id0x140ea538">data</a> mapped to RDF is a whole other kettle of fish. On this, I should say that RDF has no special virtues for expressing transactions but rather has a special genius for integration. Updating is best left to web service interfaces that use <a href="http://dbpedia.org/resource/SQL" id="link-id0xa24e9558">SQL</a> on the inside. Anyway, updating union views, which most mappings will be, is complicated. Besides, for transactions, one usually knows exactly what one wishes to update.</p>
</li>
<li>
<p>
  <b>Full Text</b> - Many people expressed a desire for full text access. Here we run into a deplorable confusion with regexps. The closest SPARQL has to full text in its native form is regexps, but these are not really mappable to full text except in rare special cases and I would despair of explaining to an end user what exactly these cases are. So, in principle, some regexps are equivalent to full text but in practice I find it much preferable to keep these entirely separate.</p>
<p>It was noted that what the users want is a text box for search words. This is a front end to the CONTAINS predicate of most SQL implementations. Ours is MS SQL Server compatible and has a SPARQL version called <code>bif:contains</code>. One must still declare which triples one wants indexed for full text, though. This admin overhead seems inevitable, as text indexing is a large overhead and not needed by all applications.</p>
<p>Also, text hits are not boolean; usually they come with a hit score. Thus, a SPARQL extension for this could look like </p>
<blockquote>
  <code>select * where { ?thing has_description ?d . ?d ftcontains &quot;gizmo&quot; ftand &quot;widget&quot; score ?score . }</code>
</blockquote>
<p>This would return all the subjects, descriptions, and scores, from subjects with a has_description property containing widget and gizmo. Extending the basic pattern is better than having the match in a filter, since the match binds a variable.</p>
<p>The <a href="http://dbpedia.org/resource/XQuery" id="link-id0x9ddb7240">XQuery</a>/<a href="http://dbpedia.org/resource/XPath" id="link-id0x9d84e070">XPath</a> groups have recently come up with a full-text spec, so I used their style of syntax above. We already have a full-text extension, as do some others. but for standardization, it is probably most appropriate to take the XQuery work as a basis. The XQuery full-text spec is quite complex, but I would expect most uses to get by with a small subset, and the structure seems better thought out, at first glance, than the more ad-hoc implementations in diverse SQLs.</p>
<p>Again, declaring any text index to support the search, as well as its timeliness or transactionality, are best left to implementations.</p>
</li>
<li>
<p>
  <b>Federation</b> - This is a tricky matter. ARQ has a SPARQL extension for sending a nested set of triple patterns to a specific end-point. The DARQ project has something more, including a selectivity model for SPARQL.</p>
<p>With federated SQL, life is simpler since after the views are expanded, we have a query where each table is at a known server and has more or less known statistics. Generally, execution plans where as much work as possible is pushed to the remote servers are preferred, and modeling the latencies is not overly hard. With SPARQL, each triple pattern could in principle come from any of the federated servers. Associating a specific end-point to a fragment of the query just passes the problem to the user. It is my guess that this is the best we can do without getting very elaborate, and possibly buggy, end-point content descriptions for routing federated queries.</p>
<p>Having said this, there remains the problem of join order. I suggested that we enhance the protocol by allowing asking an end-point for the query cost for a given SPARQL query. Since they all must have a cost model for optimization, this should not be an impossible request. A time cost and estimated cardinality would be enough. Making statistics available <i>à la</i> DARQ was also discussed. Being able to declare cardinalities expected of a remote end-point is probably necessary anyway, since not all will implement the cost model interface. For standardization, agreeing on what is a proper description of content and cardinality and how fine grained this must be will be so difficult that I would not wait for it. A cost model interface would nicely hide this within the end-point itself.</p>
<p>With Virtuoso, we do not have a federated SPARQL scheme but we could have the ARQ-like service construct. We&#39;d use our own cost model with explicit declarations of cardinalities of the remote data for guessing a join order. Still, this is a bit of work. We&#39;ll see.</p>
<p>For practicality, the service construct coupled with join order hints is the best short term bet. Making this pretty enough for standardization is not self-evident, as it requires end-point description and/or cost model hooks for things to stay declarative.</p>
</li>
<li>
<p>
  <b>End-point description</b> - This question has been around for a while; I have <a href="http://www.openlinksw.com/weblog/oerling/?id=1085" id="link-id10fa7da8">blogged about it earlier</a>, but we are not really at a point where there would be even rough consensus about an end-point ontology. We should probably do something on our own to demonstrate some application of this, as we host lots of <a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id0xd048c68">linked open data</a> sets.</p>
</li>
<li>
<p>
  <b>SQL equivalence</b> - There were many requests for aggregation, some for subqueries and nesting, expressions in select, negation, existence and so on. I would call these all SQL equivalence. One use case was taking all the teams in the database and for all with over 5 members, add the big_team class and a property for member count.</p>
<p>With Virtuoso, we could write this as -- </p>
<blockquote>
  <code>construct { ?team a big_team . ?team member_count ?ct } from ... where {?team a team . { select ?team2 count (*) as ?ct where { ?m member_of ?team2 } . filter (?team = ?team2 and ? ct &gt; 5) }}</code>
</blockquote>
<p>We have pretty much all the SQL equivalence features, as we have been working for some time at translating the <a href="http://dbpedia.org/resource/TPC-H" id="link-id0xb9d5200">TPC-H</a> workload into SPARQL.</p>
<p>The usefulness of these things is uncontested but standardization could be hard as there are subtle questions about variable scope and the like.</p>
</li>
<li>
<p>
  <b>Inference</b> - The SPARQL spec does not deal with transitivity or such matters because it is assumed that these are handled by an underlying inference layer. This is however most often not so. There was interest in more fine grained control of inference, for example declaring that just one property in a query would be transitive or that subclasses should be taken into account in only one triple pattern. As far as I am concerned, this is very reasonable, and we even offer extensions for this sort of thing in Virtuoso&#39;s SPARQL. This however only makes sense if the inference is done at query time and pattern by pattern. For instance, if forward chaining is used, this no longer makes sense. Specifying that some forward chaining ought to be done at query time is impractical, as the operation can be very large and time consuming and it is the DBA&#39;s task to determine what should be stored and for how long, how changes should be propagated, and so on. All these are application dependent and standardizing will be difficult.</p>
<p>Support for RDF features like lists and bags would all fall into the functions an underlying inference layer should perform. These things are of special interest when querying OWL models, for example.</p>
</li>
<li>
<p>
  <b>Path expressions</b> - Path expressions were requested by a few people. We have implemented some, as in </p>
 <blockquote>
  <code>?product+?has_supplier+&gt;s_name = &quot;Gizmos, Inc.&quot;.</code>
 </blockquote> This means that one supplier of product has name &quot;Gizmo, Inc.&quot;. This is a nice shorthand but we run into problems if we start supporting repetitive steps, optional steps, and the like.</li>
<p>In conclusion, update, full text, and basic counting and grouping would seem straightforward at this point. Nesting queries, value subqueries, views, and the like should not be too hard if an agreement is reached on scope rules. Inference and federation will probably need more experimentation but a lot can be had already with very simple fine grained control of backward chaining, if such applies, or with explicit end-point references and explicit join order. These are practical but not pretty enough for committee consensus, would be my guess. Anyway, it will be a few months before anything formal will happen.</p>
]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Virtuso Data Space Bot &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/weblog/oerling/?id=1353">
  <rss:title>SPARQL at WWW 2008</rss:title>
  <rss:link>http://www.openlinksw.com/weblog/oerling/?id=1353</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1353</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/weblog/oerling/gems/rsscomment.xml?:id=1353</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-04-30T15:59:15Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">Andy Seaborne and Eric Prud&#39;hommeaux, editors of the SPARQL recommendation, convened a SPARQL birds of a feather session at WWW 2008. The administrative outcome was that implementors could now experiement with extensions, hopefully keeping each other current about their efforts and that towards the end of 2008, a new W3C working group might begin formalizing the experiences into a new SPARQL spec. The session drew a good crowd, including many users and developers. The wishes were largely as expected, with a few new ones added. Many of the wishes already had diverse implementations, however most often without interop. I will below give some comments on the main issues discussed. - SPARQL Update - This is likely the most universally agreed upon extension. Implementations exist, largely along the lines of Andy Seaborne&#39;s SPARUL spec, which is also likely material for a W3C member submission. The issue is without much controverse, transactions fall outside the scope, which is reasonable enough. With triple stores, we can define things as combinations of inserts and deletes and isolation we just leave aside. If anything, operating on a transactional platform such as Virtuoso, one wishes to disable transactions for any operations such as bulk loads and long running inserts and deletes. Transactionality has pretty much no overhead for a few hundred rows but for a few hundred million rows the cost of locking and rollback is prohibitive. With Virtuoso, we have a row autocommit mode which we recommend for use with RDF: It commits by itself now and then, optionally keeping a roll forward log and is transactional enough not to leave half triples around,i.e. inserted in one index but not another. As far as we are concerned, updating physical triples along the SPARUL lines is pretty much a done deal. The matter of updating relational data mapped to RDF is a whole other kettle of fish. On this, I should say that RDF has no special virtues for expressing transactions but rather has a special genius for integration. Updating is best left to web service interfaces that use SQL on the inside. Anyway, updating union views, which most mappings will be, is complicated. Besides, for transactions, one usually knows exactly what one wishes to update. Full Text - Many people expressed a desire for full text access. Here we run into a deplorable confusion with regexps. The closest SPARQL has to full text in its native form is regexps, but these are not really mappable to full text except in rare special cases and I would despair of explaining to an end user what exactly these cases are. So, in principle, some regexps are equivalent to full text but in practice I find it much preferrable to keep these entirely separate. It was noted that what the users want is a text box for search words. This is a front end to the CONTAINS predicate of most SQL implementations. Ours is MS SQL Server compatible and has a SPARQL version called bif:contains. One must still declare which triples one wants indexed for full text, though. This admin overhead seems inevitable, as text indexing is a large overhead and not needed by all applications. Also, text hits are not boolean, usually they come with a hit score. Thus, aa SPARQL extension for this could look like select * where { ?thing has_description ?d . ?d ftcontains &quot;gizmo&quot; ftand &quot;widget&quot; score ?score . } This would return all the subjects, descriptions and scores from subjects with a has_description property containing widget and gizmo. Extending the basic pattern is better than having the match in a filter, since the match binds a variable. The XQuery/XPATH groups have recently come up with a full text spec, so I used their style of syntax above. We already have a full text extension, as do some others. but for standardization, it is probably most appropriate to take the XQuery work as a basis. The XQuery full text spec is quite complex but I would expect most uses to get by with a small subset and the structure seems better thought out, at first glance, than the more ad hoc implementations in diverse SQL&#39;s. Again, declaring any text index to support the search, as well as its timeliness or transactionality, are best left to implementations. Federation - This is a tricky matter. ARQ has a SPARQL extension for sending a nested set of triple patterns to a specific end point. The DARQ project has something more, including a selectivity model for SPARQL. With federated SQL, life is simpler since after the views are expanded, we have a query where each table is at a known server and has more or less known statistics. Generally, execution plans where as much work as possible is pushed to the remote servers are preferred and modeling the latencies is not overly hard. With SPARQL, each triple pattern could in principle come from any of the federated servers. Associating a specific end point to a fragment of the query just passes the problem to the user. It is my guess that this is the best we can do without getting very elaborate, and possibly buggy, end point content descriptions for routing federated queries. Having said this, there remains the problem of join order. I suggested that we enhance the protocol by allowing asking an end point for the query cost for a given SPARQL query. Since they all must have a cost model for optimization, this should not be an imposssible request. A time cost and estimated cardinality would be enough. Making statistics available a la DARQ was also discussed. Being able to declare cardinalities expected of a remote end point is probably necessary anyway, since not all will implement the cost model interface. For standardization, agreeing of what is a proper description of content and cardinality and how fine grained this must be will be so difficult that I would not wait for it. A cost model interface would nicely hide this within the end point itself. With Virtuoso, we do not have a federated SPARQL scheme but we could have the ARQ-like service construct. We&#39;d use our own cost model with explicit declarations of cardinalities of the remote data for guessing a join order. Still, this is a bit of work. We&#39;ll see. For practicality, the service construct coupled with join order hints is the best short term bet. Making this pretty enough for standardization is not self-evident, as it requires end point description and/or cost model hooks for things to stay declarative. - End point description - This question has been around for a while, I have blogged about it earlier but we are not really at a point where there would be even rough consensus about an end point ontology. We should probably do something on our own to demonstrate some application of this, as we host lots of linked open data sets. - SQL equivalence - There were many requests for aggregation, some for subqueries and nesting, expressions in select, negation, existence and so on. I would call these all SQL equivalence. One use case was taking all the teams in the database and for all with over 5 members, add the big_team class and a property for member count. With Virtuoso, we could write this as construct { ?team a big_team . ?team member_count ?ct } from ... where {?team a team . { select ?team2 count (*) as ?ct where { ?m member_of ?team2 } . filter (?team = ?team2 and ? ct &gt; 5) }} We have pretty much all the SQL equivalence features, as we have been working for some time at translating the TPC H workload into SPARQL. The usefulness of these things is uncontested but standardization could be hard as there are subtle questions about variable scope and the like. - Inference - The SPARQLL spec does not deal with transitivity or such matters because it is assumed that these are handled by an underlying inference layer. This is however most often not so. There was interest in more fine grained control of inference, for example declaring that just one property in a query would be transitive or that subclasses should be taken into account in only one triple pattern. As far as I am concerned, this is very reasonable and we even offer extensions for this sort of thing in Virtuoso&#39;s SPARQL. This however only makes sense if the inference is done at query time and pattern by pattern. For instance, if forward chaining is used, this no longer makes sense. Specifying that some forward chaining ought to be done at query time is impractical, as the operation can be very large and time consuming and it is the dba&#39;s task to determine what should be stored and for how long, how changes should be propagated and so on. All these are application dependent and standardizing will be difficult. Support for RDF features like lists and bags would all fall under the functions an underlying inference layer should perform. These thiings are of special interest when querying OWL models, for example. Path expressions - Path expressions were requested by a few people. We have implemented some, as in ?product+?has_supplier+&gt;s_name = &quot;Gizmos, Inc.&quot;. This means that one supplier of product has name &quot;Gizmo, Inc.&quot;. This is a nice shorthand but we run into problems if we start supporting repetitive steps, optional steps and the like. In conclusion, update, full text and basic counting and grouping would seem straightforward at this point. Nesting queries, value subqueries, views and the like should not be too hard if an agreement is reached on scope rules. Inference and federation will probably need more experimentation but a lot can be had already with very simple fine grained control of backward chaining, if such applies or with explicit end point refernces and explicit join order. These are practical butr not pretty enough for committee consensus, would be my guess. Anyway, it will be a few months before anything formal will happen.</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<div>
<div>
Andy Seaborne and Eric Prud&#39;hommeaux, editors of the <a href="http://dbpedia.org/resource/SPARQL" id="link-id10830dd8">SPARQL</a>
recommendation, convened a <a href="http://dbpedia.org/resource/SPARQL" id="link-id0xa3028e8">SPARQL</a> birds of a feather session at <a href="http://www2008.org/" id="link-id16b82f18">WWW
2008</a>.  The administrative outcome was that implementors could now
experiement with extensions, hopefully keeping each other current
about their efforts and that towards the end of 2008, a new W3C
working group might begin formalizing the experiences into a new
SPARQL spec.
</div>

<div>
The session drew a good crowd, including many users and developers.
The wishes were largely as expected, with a few new ones added.  Many
of the wishes already had diverse implementations, however most often
without interop.  I will below give some comments on the main issues discussed.
</div>

<div>
- SPARQL Update - This is likely the most universally agreed upon
  extension.  Implementations exist, largely along the lines of Andy
  Seaborne&#39;s SPARUL spec, which is also likely material for a W3C
  member submission.  The issue is without much controverse,
  transactions fall outside the scope, which is reasonable enough.
  With triple stores, we can define things as combinations of inserts
  and deletes and isolation we just leave aside.  If anything,
  operating on a transactional platform such as <a href="http://virtuoso.openlinksw.com" id="link-id103979f0">Virtuoso</a>, one wishes
  to disable transactions for any operations such as bulk loads and
  long running inserts and deletes.  Transactionality has pretty much
  no overhead for a few hundred rows but for a few hundred million
  rows the cost of locking and rollback is prohibitive.  With
  <a href="http://virtuoso.openlinksw.com" id="link-id0x15b9ff70">Virtuoso</a>, we have a row autocommit mode which we recommend for use
  with <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id109a9d50">RDF</a>: It commits by itself now and then, optionally keeping a roll forward log and  is transactional
  enough not to leave half triples around,i.e.  inserted in one index
  but not another.
</div>

<div>
As far as we are concerned, updating physical  triples along the SPARUL lines is pretty much a done deal.
</div>

<div>
The matter of updating relational <a href="http://dbpedia.org/resource/Data" id="link-id106f05e0">data</a> mapped to <a href="http://dbpedia.org/resource/Resource_Description_Framework" id="link-id0xa00f0a70">RDF</a> is a whole other
kettle of fish. On this, I should say that RDF has no special virtues
for expressing transactions but rather has a special genius for
integration.  Updating is best left to web service interfaces that use
<a href="http://dbpedia.org/resource/SQL" id="link-id10aab0a8">SQL</a> on the inside.  Anyway, updating union views, which most mappings will be, is complicated.  Besides, for transactions, one usually knows exactly what one wishes to update.
</div>

<div>
Full Text - Many people expressed a desire for full text access.  Here
we run into a deplorable confusion with regexps.  The closest SPARQL
has to full text in its native form is regexps, but these are not
really mappable to full text except in rare special cases and I would
despair of explaining to an end user what exactly these cases are.
So, in principle, some regexps are equivalent to full text but in practice I find it much preferrable to keep these entirely separate.
</div>

<div>
It was noted that what the users want is a text box for search words.
This is a front end to the CONTAINS predicate of most <a href="http://dbpedia.org/resource/SQL" id="link-id0x14d45478">SQL</a>
implementations.  Ours is MS SQL Server compatible and has a SPARQL
version called bif:contains.  One must still declare which triples one
wants indexed for full text, though.  This admin overhead seems
inevitable, as text indexing is a large overhead and not needed by all
applications.
</div>

<div>
Also, text hits are not boolean, usually they come with a hit score.  Thus, aa SPARQL extension for this could look like 
select * where { ?thing has_description ?d . ?d ftcontains &quot;gizmo&quot; ftand &quot;widget&quot; score ?score . }
</div>

<div>
This would return all the subjects, descriptions and scores  from subjects  with a has_description property containing widget and gizmo. Extending the basic pattern is better than having the match in a filter, since the match binds a variable.
</div>

<div>
The <a href="http://dbpedia.org/resource/XQuery" id="link-id106517a0">XQuery</a>/<a href="http://dbpedia.org/resource/XPath" id="link-id10d04ae0">XPATH</a> groups have recently come up with a full text spec,
so I used their style of syntax above.  We already have a full text
extension, as do some others. but for standardization, it is probably
most appropriate to take the <a href="http://dbpedia.org/resource/XQuery" id="link-id0xa27b3a98">XQuery</a> work as a basis.  The XQuery full
text spec is quite complex but I would expect most uses to get by with
a small subset and the structure seems better thought out, at first
glance, than the more ad hoc implementations in diverse SQL&#39;s.
</div>

<div>
Again, declaring any text index to support the search, as well as its timeliness or transactionality, are best left to implementations.
</div>

<div>
Federation - This is a tricky matter.  ARQ has a SPARQL extension for
sending a nested set of triple patterns to a specific end point.  The
DARQ project has something more, including a selectivity model for
SPARQL.
</div>

<div>
With federated SQL, life is simpler since after the views are
expanded, we have a query where each table is at a known server and
has more or less known statistics. Generally, execution plans where as
much work as possible is pushed to the remote servers are preferred
and modeling the latencies is not overly hard.  With SPARQL, each
triple pattern could in principle come from any of the federated
servers.  Associating a specific end point to a fragment of the query
just passes the problem to the user.  It is my guess that this is the
best we can do without getting very elaborate, and possibly buggy, end
point content descriptions for routing federated queries.
</div>

<div>
Having said this, there remains the problem of join order.  I
suggested that we enhance the protocol by allowing asking an end point
for the query cost for a given SPARQL query.  Since they all must have
a cost model for optimization, this should not be an imposssible
request.  A time cost and estimated cardinality would be enough.
Making statistics available a la DARQ was also discussed.  Being able
to declare cardinalities expected of a remote end point is probably
necessary anyway, since not all will implement the cost model
interface.  For standardization, agreeing of what is a proper
description of content and cardinality and how fine grained this
must be will be so difficult that I would not wait for it.  A cost model interface would nicely hide this within the end point itself.
</div>

<div>
With Virtuoso, we do not have a federated SPARQL scheme but we could
 have the ARQ-like service construct.  We&#39;d use our own
cost model with explicit declarations of cardinalities of the remote
<a href="http://dbpedia.org/resource/Data" id="link-id0xa496840">data</a> for guessing a join order.  Still, this is a bit of work.  We&#39;ll see.  
</div>

<div>
For practicality, the service construct coupled with join order hints is the best short term bet.  Making this pretty enough for standardization is not self-evident, as it requires end point description and/or cost model hooks  for things to stay declarative.
</div>

<div>
- End point description - This question has been around for a while, I
  have blogged about it earlier but we are not really at a point where
  there would be even rough consensus about an end point ontology.  We
  should probably do something on our own to demonstrate some
  application of this, as we host lots of <a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id10cdd138">linked open data</a> sets.
</div>

<div>
- SQL equivalence - There were many requests for aggregation, some for
  subqueries and nesting, expressions in select, negation, existence
  and so on.  I would call these all SQL equivalence.  One use case
  was taking all the teams in the database and for all with over 5
  members, add the big_team class and a property for member count.
</div>

<div>
With Virtuoso, we could write this as 
</div>

<pre>
construct { ?team a big_team . ?team member_count ?ct } from ... where {?team a team . { select ?team2 count (*) as ?ct where { ?m member_of ?team2 } . filter (?team = ?team2 and ? ct &gt; 5) }}
</pre>

<div>
We have pretty much all the SQL equivalence features, as we have been working for some time at translating the <a href="http://dbpedia.org/resource/TPC-H" id="link-id13a7ad70">TPC H</a> workload into SPARQL. 
</div>

<div>
The usefulness of these things is uncontested but standardization could be hard as there are subtle questions about variable scope and the like.
</div>


<div>
- Inference - The SPARQLL spec does not deal with transitivity or such
  matters because it is assumed that these are handled by an
  underlying inference layer.  This is however most often not so.
  There was  interest in more fine grained control of
  inference, for example declaring that just one property in a query
  would be transitive or that subclasses should be taken into account
  in only one triple pattern.  As far as I am concerned, this is very
  reasonable and we even offer extensions for this sort of thing in
  Virtuoso&#39;s SPARQL.  This however only makes sense if the inference
  is done at query time and pattern by pattern.  For instance, if
  forward chaining is used, this no longer makes sense.  Specifying
  that some forward chaining ought to be done at query time is
  impractical, as the operation can be very large and time consuming
  and it is the dba&#39;s task to determine what should be stored and for
  how long, how changes should be propagated and so on.  All these are application dependent and standardizing will be difficult.
</div>

<div>
Support for RDF features like lists and bags would all fall under the functions an underlying inference layer should perform.  These thiings are of special interest when querying OWL models, for example.
</div>


<div>
Path expressions - Path expressions were requested by a few people.
We have implemented some, as in ?product+?has_supplier+&gt;s_name =
&quot;Gizmos, Inc.&quot;.  This means that one supplier of product has name
&quot;Gizmo, Inc.&quot;.  This is a nice shorthand but we run into problems if
we start supporting repetitive steps, optional steps and the like.
</div>

<div>
In conclusion, update, full text and basic counting and grouping would
seem straightforward at this point.  Nesting queries, value
subqueries, views and the like should not be too hard if an agreement
is reached on scope rules.  Inference and federation will probably
need more experimentation but a lot can be had already with very
simple fine grained control of backward chaining, if such applies or
with explicit end point refernces and explicit join order.  These are
practical butr not pretty enough for committee consensus, would be my
guess.  Anyway, it will be a few months before anything formal will
happen.
</div>

</div>
]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Orri Erling &lt;oerling@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/~kidehen/?id=1352">
  <rss:title>Clearing Up RDF misrepresentation once again!</rss:title>
  <rss:link>http://www.openlinksw.com/blog/~kidehen/?id=1352</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1352</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/~kidehen/gems/rsscomment.xml?:id=1352</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-04-30T15:51:17Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">Daniel Lewis has penned a post titled: Clearing up some misconceptions..again, in response to Ben Werdmuller&#39;s post titled: Introducing the Open Data Definition. The great thing about the Linked Data Web is that it&#39;s much easier to discovery and respond to these points of view before the ink dries :-) Ben certainly needs to take a look at the Semantic Web FAQ pre or post assimilation of Daniel&#39;s response.</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<p>
<a href="http://myopenlink.net/dataspace/person/danieljohnlewis#this" id="link-id12d57690">Daniel Lewis</a> has penned a post titled: <a href="http://vanirsystems.com/danielsblog/2008/04/30/clearing-up-some-misconceptions-again/" id="link-id10c99f18">Clearing up some misconceptions..again</a>, in response to <a href="http://elgg.org/bwerdmuller/foaf#elgg2" id="link-id14fe1bc8">Ben Werdmuller</a>&#39;s post titled: <a href="http://blogs.zdnet.com/social/?p=477" id="link-id141cee58">Introducing the Open Data Definition</a>. </p>
<p>The great thing about the <a href="http://dbpedia.org/resource/Linked_Data" id="link-id105991a8">Linked Data</a> <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id10a6ec78">Web</a> is that it&#39;s much easier to discovery and respond to these points of view before the ink dries :-) Ben certainly needs to take a look at the <a href="http://www.w3.org/RDF/FAQ" id="link-id10f78958">Semantic Web FAQ</a> pre or post assimilation of Daniel&#39;s response.</p>
]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Kingsley Uyi Idehen &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/~kidehen/?id=1351">
  <rss:title>Linked Data enters state of Evoluation</rss:title>
  <rss:link>http://www.openlinksw.com/blog/~kidehen/?id=1351</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1351</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/~kidehen/gems/rsscomment.xml?:id=1351</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-04-29T19:56:14Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">During a brief chat with Michael Hausenblas about a new Linked Data project he is championing called: LForum, I made a freudian slip, in the form of the typo: Evoluation, which at the time was supposed to have been: Evolution. Anyway, we had a chuckle and realized we were on to something, so I proceeded to formalize the definition: Evoluation is evolution devoid of the randomness of mutation. A state of being in which it is possible to evaluate and choose evolutionary paths. Evoluation actually describes where we are today in relation to the World Wide Web; to the Linking Open Data community (LOD), it&#39;s taking the path towards becoming a Giant Global Graph of Linked Data; to the Web 2.0 community, it&#39;s simply a collection of Web Services and associated APIs; and to many others, it remains an opaque collection of interlinked documents. The great thing about the Web is that it allows netizens to explore a plethora of paths without adversely affecting the paths of others. That said, controlling one&#39;s path may take mutation out of evolution, but we are still left with the requirement to adapt and eventually survive in a competitive environment. Thus, although we can evaluate and choose from the many paths the Web&#39;s evolution offers us, the path that delivers the most benefits ultimately dominates. :-)</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<p>During a brief chat with <a href="http://community.linkeddata.org/dataspace/person/mhausenblas#this" id="link-idfeb0100">Michael Hausenblas</a> about a new <a href="http://dbpedia.org/resource/Linked_Data" id="link-id1049feb0">Linked Data</a> project he is championing called: <a href="http://esw.w3.org/topic/SweoIG/TaskForces/CommunityProjects/LinkingOpenData/LForum" id="link-id16a857d8">LForum</a>, I made a freudian slip, in the form of the typo: <strong>Evoluation</strong>, which at the time was supposed to have been: <strong>Evolution</strong>. Anyway, we had a chuckle and realized we were on to something, so I proceeded to formalize the definition: </p>

<blockquote>
<cite>Evoluation is evolution devoid of the randomness of mutation. A state of being in which it is possible to evaluate and choose evolutionary paths.</cite>
</blockquote>

<p>
<strong>Evoluation</strong> actually describes where we are today in relation to the <a href="http://dbpedia.org/resource/World_Wide_Web" id="link-id105c1518">World Wide Web</a>; to the <a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id103f9d00">Linking Open Data community</a> (<a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id1048c210">LOD</a>), it&#39;s taking the path towards becoming a <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id104c3a20">Giant Global Graph</a> of <a href="http://dbpedia.org/resource/Linked_Data" id="link-id104968e0">Linked Data</a>; to the <a href="http://dbpedia.org/resource/World_Wide_Web">Web</a> 2.0 community, it&#39;s simply a collection of Web Services and associated APIs;  and to many others,  it remains an opaque collection of interlinked documents.</p>
<p>The great thing about the Web is that it allows netizens to explore a plethora of paths without adversely affecting the paths of others. That said, controlling one&#39;s path may take mutation out of evolution, but we are still left with the requirement to adapt and eventually survive in a competitive environment. Thus, although we can evaluate and choose from the many paths the Web&#39;s evolution offers us, the path that delivers the most benefits ultimately dominates. :-) </p>


]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Kingsley Uyi Idehen &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/vdb/blog/?id=1350">
  <rss:title>Linked Data and Information Architecture</rss:title>
  <rss:link>http://www.openlinksw.com/blog/vdb/blog/?id=1350</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1350</wfw:comment>
  <wfw:commentRss xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/blog/vdb/blog/gems/rsscomment.xml?:id=1350</wfw:commentRss>
  <dc:date xmlns:dc="http://purl.org/dc/elements/1.1/">2008-04-29T14:37:22Z</dc:date>
  <dc:description xmlns:dc="http://purl.org/dc/elements/1.1/">Linked Data and Information Architecture We had a workshop on Linked Open Data (LOD) last week in Beijing. You can see the papers in the program. The event was a success with plenty of good talks and animated conversation. I will not go into every paper here but will comment a little on the conversation and draw some technology requirements going forward. Tim Berners-Lee showed a read-write version of Tabulator. This raises the question of updating on the Data Web. The consensus was that one could assert what one wanted in one&#39;s own space but that others&#39; spaces would be read-only. What spaces one considered relevant would be the user&#39;s or developer&#39;s business, as in the document web. It seems to me that a significant use case of LOD is an open-web situation where the user picks a broad read-only &quot;data wallpaper&quot; or backdrop of assertions, and then uses this combined with a much smaller, local, writable data set. This is certainly the case when editing data for publishing, as in Tim&#39;s demo. This will also be the case when developing mesh-ups combining multiple distinct data sets bound together by sets of SameAs assertions, for example. Questions like, &quot;What is the minimum subset of n data sets needed for deriving the result?&quot; will be common. This will also be the case in applications using proprietary data combined with open data. This means that databases will have to deal with queries that specify large lists of included graphs, all graphs in the store or all graphs with an exclusion list. All this is quite possible but again should be considered when architecting systems for an open linked data web. &quot;There is data but what can we really do with it? How far can we trust it, and what can we confidently decide based on it?&quot; As an answer to this question, Zitgist has compiled the UMBEL taxonomy using SKOS. This draws on Wikipedia, Open CYC, Wordnet, and YAGO, hence the acronym WOWY. UMBEL is both a taxononmy and a set of instance data, containing a large set of named entities, including persons, organizations, geopolitical entities, and so forth. By extracting references to this set of named entities from documents and correlating this to the taxonomy, one gets a good idea of what a document (or part thereof) is about. Kingsley presented this in the Zitgist demo. This is our answer to the criticism about DBpedia having errors in classification. DBpedia, as a bootstrap stage, is about giving names to all things. Subsequent efforts like UMBEL are about refining the relationships. &quot;Should there be a global URI dictionary?&quot; There was a talk by Paolo Bouquet about Entity Name System, a a sort of data DNS, with the purpose of associating some description and rough classification to URIs. This would allow discovering URIs for reuse. I&#39;d say that this is good if it can cut down on the SameAs proliferation and if this can be widely distributed and replicated for resilience, à la DNS. On the other hand, it was pointed out that this was not quite in the LOD spirit, where parties would mint their own dereferenceable URIs, in their own domains. We&#39;ll see. &quot;What to do when identity expires?&quot; Giovanni of Sindice said that a document should be removed from search if it was no longer available. Kingsley pointed out that resilience of reference requires some way to recover data. The data web cannot be less resilient than the document web, and there is a point to having access to history. He recommended hooking up with the Internet Archive, since they make long term persistence their business. In this way, if an application depends on data, and the URIs on which it depends are no longer dereferenceable or or provide content from a new owner of the domain, those who need the old version can still get it and host it themselves. It is increasingly clear that OWL SameAs is both the blessing and bane of linked data. We can easily have tens of URIs for the same thing, especially with people. Still, these should be considered the same. Returning every synonym in a query answer hardly makes sense but accepting them as input seems almost necessary. This is what we do with Virtuoso&#39;s SameAs support. Even so, this can easily double query times even when there are no synonyms. Be that as it may, SameAs is here to stay; just consider the mapping of DBpedia to Geonames, for example. Also, making aberrant SameAs statements can completely poison a data set and lead to absurd query results. Hence choosing which SameAs assertions from which source will be considered seems necessary. In an open web scenario, this leads inevitably to multi-graph queries that can be complex to write with regular SPARQL. By extension, it seems that a good query would also include the graphs actually used for deriving each result row. This is of course possible but has some implications on how databases should be organized. Yves Raymond gave a talk about deriving identity between Musicbrainz and Jamendo. I see the issue as a core question of linked data in general. The algorithm Yves presented started with attribute value similarities and then followed related entities. Artists would be the same if they had similar names and similar names of albums with similar song titles, for example. We can find the same basic question in any analysis, for example, looking at how news reporting differs between media, supposing there is adequate entity extraction. There is basic graph diffing in RDFSync, for example. But here we are expanding the context significantly. We will traverse references to some depth, allow similarity matches, SameAs, and so forth. Having presumed identity of two URIs, we can then look at the difference in their environment to produce a human readable summary. This could then be evaluated for purposes of analysis or of combining content. At first sight, these algorithms seem well parallelizable, as long as all threads have access to all data. For scaling, this means a probably message-bound distributed algorithm. This is something to look into for the next stage of linked data. Some inference is needed, but if everybody has their own choice of data sets to query, then everybody would also have their own entailed triples. This will make for an explosion of entailed graphs if forward chaining is used. Forward chaining is very nice because it keeps queries simple and easy to optimize. With Virtuoso, we still favor backward chaining since we expect a great diversity of graph combinations and near infinite volume in the open web scenario. With private repositories of slowly changing data put together for a special application, the situation is different. In conclusion, we have a real LOD movement with actual momentum and a good idea of what to do next. The next step is promoting this to the broader community, starting with Linked Data Planet in New York in June.</dc:description>
  <content:encoded xmlns:content="http://purl.org/rss/1.0/modules/content/"><![CDATA[<div>
<div style="display:none;">Linked Data and Information Architecture</div>
<p>We had a workshop on <a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id0x1437ac70">Linked Open Data</a> (<a href="http://community.linkeddata.org/dataspace/organization/lod#this" id="link-id0x1315f788">LOD</a>) last week in <a href="http://www2008.org/" id="link-id0x13737468">Beijing</a>. You can see the papers in <a href="http://events.linkeddata.org/ldow2008/#program" id="link-id10651ab8">the program</a>. The event was a success with plenty of good talks and animated conversation. I will not go into every paper here but will comment a little on the conversation and draw some technology requirements going forward.</p>
<p>Tim Berners-Lee showed a read-write version of <a href="http://dig.csail.mit.edu/2005/ajar/release/tabulator/0.8/tab.html" id="link-id0x15633520">Tabulator</a>. This raises the question of updating on the <a href="http://dbpedia.org/resource/Data" id="link-id0x1350a178">Data</a> Web. The consensus was that one could assert what one wanted in one&#39;s own space but that others&#39; spaces would be read-only. What spaces one considered relevant would be the user&#39;s or developer&#39;s business, as in the document web.</p>
<p>It seems to me that a significant use case of LOD is an open-web situation where the user picks a broad read-only &quot;data wallpaper&quot; or backdrop of assertions, and then uses this combined with a much smaller, local, writable data set. This is certainly the case when editing data for publishing, as in Tim&#39;s demo. This will also be the case when developing mesh-ups combining multiple distinct data sets bound together by sets of SameAs assertions, for example. Questions like, &quot;What is the minimum subset of n data sets needed for deriving the result?&quot; will be common. This will also be the case in applications using proprietary data combined with open data.</p>
<p>This means that databases will have to deal with queries that specify large lists of included graphs, all graphs in the store or all graphs with an exclusion list. All this is quite possible but again should be considered when architecting systems for an open <a href="http://dbpedia.org/resource/Linked_Data" id="link-id0xa27bae8">linked data</a> <a href="http://dbpedia.org/resource/Giant_Global_Graph" id="link-id0x155c3f18">web</a>.</p>
<p>&quot;There is data but what can we really do with it? How far can we trust it, and what can we confidently decide based on it?&quot;</p>
<p>As an answer to this question, <a href="http://zitgist.com/about/" id="link-id0xd447580">Zitgist</a> has compiled the <a href="http://umbel.org/about/" id="link-id0x14735008">UMBEL</a> taxonomy using <a href="http://dbpedia.org/resource/SKOS" id="link-id0x15ab1c48">SKOS</a>. This draws on Wikipedia, Open CYC, Wordnet, and <a href="http://www.mpi-inf.mpg.de/~suchanek/downloads/yago/" id="link-id0x15d5aa88">YAGO</a>, hence the acronym WOWY. UMBEL is both a taxononmy and a set of instance data, containing a large set of <a href="http://dbpedia.org/resource/Named_entity_recognition" id="link-id0x9fe45d98">named entities</a>, including persons, organizations, geopolitical entities, and so forth. By extracting references to this set of named entities from documents and correlating this to the taxonomy, one gets a good idea of what a document (or part thereof) is about.</p>
<p>Kingsley presented this in the Zitgist demo. This is our answer to the criticism about <a href="http://dbpedia.org/resource/DBpedia" id="link-id0xa1920800">DBpedia</a> having errors in classification. DBpedia, as a bootstrap stage, is about giving names to all things. Subsequent efforts like UMBEL are about refining the relationships.</p>
<p>&quot;Should there be a global <a href="http://dbpedia.org/resource/Uniform_Resource_Identifier" id="link-id0x12cd5290">URI</a> dictionary?&quot;</p>
<p>There was a talk by Paolo Bouquet about <a href="http://dbpedia.org/resource/Entity" id="link-id0x12d03400">Entity</a> Name System, a a sort of data DNS, with the purpose of associating some description and rough classification to URIs. This would allow discovering URIs for reuse. I&#39;d say that this is good if it can cut down on the SameAs proliferation and if this can be widely distributed and replicated for resilience, <i>à la</i> DNS. On the other hand, it was pointed out that this was not quite in the LOD spirit, where parties would mint their own dereferenceable URIs, in their own domains. We&#39;ll see.</p>
<p>&quot;What to do when identity expires?&quot;</p>
<p>Giovanni of Sindice said that a document should be removed from search if it was no longer available. Kingsley pointed out that resilience of reference requires some way to recover data. The data web cannot be less resilient than the document web, and there is a point to having access to history. He recommended hooking up with the <a href="http://dbpedia.org/resource/Internet" id="link-id0x143e4130">Internet</a> Archive, since they make long term persistence their business. In this way, if an application depends on data, and the URIs on which it depends are no longer dereferenceable or or provide content from a new owner of the domain, those who need the old version can still get it and host it themselves.</p>
<p>It is increasingly clear that OWL SameAs is both the blessing and bane of linked data. We can easily have tens of URIs for the same thing, especially with people. Still, these should be considered the same.</p>
<p>Returning every synonym in a query answer hardly makes sense but accepting them as input seems almost necessary. This is what we do with <a href="http://virtuoso.openlinksw.com" id="link-id0x15a2a930">Virtuoso</a>&#39;s SameAs support. Even so, this can easily double query times even when there are no synonyms.</p>
<p>Be that as it may, SameAs is here to stay; just consider the mapping of DBpedia to Geonames, for example.</p>
<p>Also, making aberrant SameAs statements can completely poison a data set and lead to absurd query results. Hence choosing which SameAs assertions from which source will be considered seems necessary. In an open web scenario, this leads inevitably to multi-graph queries that can be complex to write with regular <a href="http://dbpedia.org/resource/SPARQL" id="link-id0x12bb8ce8">SPARQL</a>. By extension, it seems that a good query would also include the graphs actually used for deriving each result row. This is of course possible but has some implications on how databases should be organized.</p>
<p>Yves Raymond gave a talk about deriving identity between Musicbrainz and Jamendo. I see the issue as a core question of linked data in general. The algorithm Yves presented started with attribute value similarities and then followed related entities. Artists would be the same if they had similar names and similar names of albums with similar song titles, for example. We can find the same basic question in any analysis, for example, looking at how news reporting differs between media, supposing there is adequate entity extraction.</p>
<p>There is basic graph diffing in <a href="http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/research/papers/533/html" id="link-id0x153c1fa8">RDFSync</a>, for example. But here we are expanding the context significantly. We will traverse references to some depth, allow similarity matches, SameAs, and so forth. Having presumed identity of two URIs, we can then look at the difference in their environment to produce a human readable summary. This could then be evaluated for purposes of analysis or of combining content.</p>
<p>At first sight, these algorithms seem well parallelizable, as long as all threads have access to all data. For scaling, this means a probably message-bound distributed algorithm. This is something to look into for the next stage of linked data.</p>
<p>Some inference is needed, but if everybody has their own choice of data sets to query, then everybody would also have their own entailed triples. This will make for an explosion of entailed graphs if forward chaining is used. Forward chaining is very nice because it keeps queries simple and easy to optimize. With Virtuoso, we still favor backward chaining since we expect a great diversity of graph combinations and near infinite volume in the open web scenario. With private repositories of slowly changing data put together for a special application, the situation is different.</p>
<p>In conclusion, we have a real LOD movement with actual momentum and a good idea of what to do next. The next step is promoting this to the broader community, starting with <a href="http://www.linkeddataplanet.com/" id="link-id0x155d1d00">Linked Data Planet</a> in New York in June.</p>
</div>]]></content:encoded>
  <dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Virtuso Data Space Bot &lt;kidehen@openlinksw.com&gt;</dc:creator>
 </rss:item>
 <rss:item xmlns:rss="http://purl.org/rss/1.0/" rdf:about="http://www.openlinksw.com/blog/vdb/blog/?id=1349">
  <rss:title>On Sem Web Search</rss:title>
  <rss:link>http://www.openlinksw.com/blog/vdb/blog/?id=1349</rss:link>
  <wfw:comment xmlns:wfw="http://wellformedweb.org/CommentAPI/">http://www.openlinksw.com/mt-tb/Http/comments?id=1349</wfw:comment>
  <wfw:comme