On 5/3/12 1:08 PM, Hugh Williams wrote:
Hi Alex,Are you able to provide some sample data for the inference rule you are creating and the datasets it is being applied against so we can follow a set of steps to recreate this problem in-house ? Or if you can recreate on one of our public SPARQL endpoints that would be helpful also as in both case we have a test case to look into and resolve the issue if required ?
Alex,In our earlier exchanges, I forgot to mention to you the fact that a number of our public facing sparql endpoints can be used as problem recreation beds. In your case, assuming you are using the RDFS Schema as your inference rule, you can simply make use of our preset inference rules. Here's what you need to do:
1. Goto to one of the endpoints 2. Select an inference rule3. Use the selected inference rule in a sparql query scoped to an existing named graph IRI or use the sponger feature (via FROM CLAUSE (option get:soft "add" ) or define get:soft "add" pragma) .
Possible endpoints: 1. http://demo.openlinksw.com/sparql 2. http://uriburner.com/sparql .Rule name for RDFS Schema is "RDFs" , and its based on the ontology at: http://www.w3.org/2000/01/rdf-schema . Thus, you are going to be executing:
Data Creation:
sparql
define get:soft "add"
define input:inference "RDFs"
insert {graph <rdfs_g> {?s ?p ?o}}
using <g> where {?s ?p ?o}
and
sparql
define get:soft "add"
define input:inference "RDFs"
insert {graph <rdfs_g> {<uri> ?p ?o}}
using <g> where {<uri> ?p ?o}
then make your sample queries that demonstrate the problem in question.
Kingsley
Best Regards Hugh Williams Professional Services OpenLink Software, Inc. // http://www.openlinksw.com/ 10 Burlington Mall Road, Suite 265, Burlington MA 01803 Weblog -- http://www.openlinksw.com/blogs/ LinkedIn -- http://www.linkedin.com/company/openlink-software/ Twitter -- http://twitter.com/OpenLink Google+ -- http://plus.google.com/100570109519069333827/ Facebook -- http://www.facebook.com/OpenLinkSoftware Universal Data Access, Integration, and Management Technology Providers On 3 May 2012, at 15:19, Alex wrote:Hello, so the referred problem also exists in the 6.1.5 version. This time I tried the following queries w.r.t Sparql 1.1: sparql define input:inference<something> insert {graph <rdfs_g>{<uri> ?p ?o}} using <g> where{<uri> ?p ?o}; (1) sparql define input:inference<something> insert {graph <rdfs_g>{?s ?p ?o}} using <g> where{?s ?p ?o}; (2) Using the following query: sparql select * from <rdfs_g> where{<uri> ?p ?o}; The result after (1) is different than those after (2). The tests regards the number of inferred triples and a requirement is backward chaining. I cannot have a "safe" outcome with the above behavior. I know that virtuoso is huge and maybe requires a lot of work. However, I am not so sure if I have enough time anymore.The deadlines are chasing me and I am afraid I should change triple store.On 27 April 2012 18:52, Kingsley Idehen <[email protected] <mailto:[email protected]>> wrote:On 4/27/12 10:18 AM, Alex wrote:Thank you for your support. Two more things to take into consideration on the previous statistics. Even though the total number of triples in<rdfs_g> and<g> might be 8 and that there is 1 class instance in both graphs this does not mean that the triples are the same in<rdfs_g> and<g>, e.g., the triple (<uri> rdf:type ?o) is different in<g> and in <rdfs_g> w.r.t ?o (i.e., 2 different class instances, where in <rdfs_g> is only one inferred).Moreover, I have installed 06.01.327 version on ubuntu. Meanwhile I do notpromise that I will upgrade virtuoso (maybe only after an official response) because of the possible danger of messing up with the dataset and/or current configuration.Please upgrade as this helps resolution of this matter. You can dump your dataset and then reload into the upgraded instance. You can also make backup and restore. KingsleyOn 27 April 2012 16:57, Kingsley Idehen<[email protected] <mailto:[email protected]>> wrote:On 4/27/12 9:31 AM, Alex wrote:Yes rdfs schema. 15 is the total number of triples including both the inferred and the explicit ones from<g>.Okay, I am going to hand this over to our support team to see if they canrecreate based on the information in this post. Naturally, you have to bearwith the support turnaround which is always based on what's on the queueetc.. They (or I) will get back to you. KingsleyOn 27 April 2012 15:45, Kingsley Idehen<[email protected] <mailto:[email protected]>>wrote:On 4/27/12 8:36 AM, Alex wrote:I can give you some statistics if this is helpful. Number of triples in<g>: 152329 Number of triples with subject<uri> in<g>: 8 Number of triples with subject<uri> in<rdfs_g> : 8 Number of triples applying rdfs on triples with subject<uri> in<g>: 15I assume you are using rdfs schema for your inference rule? If true, Ialso assume 15 is the inferred triples count? Kingsleysparql define input:inference<something> select count(*) from<g>where{?s ?p ?o} : 152329 !sparql define input:inference<something> select count(*) from<g>where{<uri> rdf:type ?o} : 1 sparql define input:inference<something> select count(*) from<rdfs_g> where{<uri> rdf:type ?o}: 1 sparql clear graph<rdfs_g> sparql define input:inference<something> insert into<rdfs_g> {<uri>?p ?o} where{graph<g> {<uri> ?p ?o}} sparql define input:inference<something> select count(*) from <rdfs_g> where{<uri> rdf:type ?o}: 6I hope there will be no typos. Do you need anything else to share withyou? Please let me know. Thanks.On 27 April 2012 15:05, Kingsley Idehen<[email protected] <mailto:[email protected]>>wrote:On 4/27/12 7:35 AM, Alex wrote:Following the Carina's advice: shutdown() change value of parameter "ResultSetMaxRows" in the .ini file to 1000000000000000 save sudo virtuoso-t -f& sudo isql-vt Applying again the rule, I get same the wrong behavior: inference onlyon the<uri> results to the correct inferred triples, but notin the case of inference on the whole dataset.I think and I am afraid I cannot "share" the dataset I am testing (if you meant that). I changed my query to selection: sparql define input:inference<something> select * from<g> where{?s ?p ?o} limit 20I do not know how the inference is evaluated on the triples and how the result is returned, but in the first 20 results I do not see anynew inferred triple.Without sharing a SPARQL URL you can share the results of a SELECT query e.g., a count of the records when using a SELECT query. KingsleyOn 27 April 2012 14:18, Kingsley Idehen<[email protected] <mailto:[email protected]>>wrote:On 4/27/12 6:57 AM, Carina Haupt wrote:On 27.04.2012 12:14, Alex wrote:Hello again, my scenario is the following: given a graph<g> with some triples apply a rule set based on a schema and insert the inferred triples to another graphs<rdfs_g>. So I use the following query to accomplish that: sparql define input:inference<something> insert into<rdfs_g> {?s ?p ?o} where{graph<g> {?s ?p ?o}} (1) I then check for a specific uri in rdfs_g and I see the same inferred triples but NOT all of them and the number of triples is the same.To further test it I apply the same rule for this specific uri:sparql define input:inference<something> insert into<rdfs_g> {<uri> ?p ?o} where{graph<g> {<uri> ?p ?o}} (2) Comparing the<rdfs_g> to<g> there is big difference on the number of triples (i.e. 15 to 8 rows respectively) and I think I see the total inferred triples.What is wrong with that?? I have test it (1) on a smaller datasetthat <g> and works fine. I am begging to lose my mind on this. How could I debug this?There is a threshold in the ini file which defines how many triples are returned at max. Perhaps this is the source of your problem?! Ciao CarinaYes re. INI.Alternatively, one diagnostic option re. assistance from us wouldbe tochange the INSERT into a SELECT and then share the SPARQL protocolURL. KingsleyThanks. ------------------------------------------------------------------------------ Live Security Virtual ConferenceExclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussionswill include endpoint security, mobile security and the latest inmalware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.comPersonal Weblog: http://www.openlinksw.com/blog/~kidehen <http://www.openlinksw.com/blog/%7Ekidehen>Twitter/Identi.ca handle: @kidehen Google+ Profile: https://plus.google.com/112399767740508618350/about LinkedIn Profile: http://www.linkedin.com/in/kidehen ------------------------------------------------------------------------------ Live Security Virtual ConferenceExclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussionswill include endpoint security, mobile security and the latest inmalwarethreats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/_______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.comPersonal Weblog: http://www.openlinksw.com/blog/~kidehen <http://www.openlinksw.com/blog/%7Ekidehen>Twitter/Identi.ca handle: @kidehenGoogle+ Profile: https://plus.google.com/112399767740508618350/aboutLinkedIn Profile: http://www.linkedin.com/in/kidehen------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.comPersonal Weblog: http://www.openlinksw.com/blog/~kidehen <http://www.openlinksw.com/blog/%7Ekidehen>Twitter/Identi.ca handle: @kidehen Google+ Profile: https://plus.google.com/112399767740508618350/about LinkedIn Profile: http://www.linkedin.com/in/kidehen ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.comPersonal Weblog: http://www.openlinksw.com/blog/~kidehen <http://www.openlinksw.com/blog/%7Ekidehen>Twitter/Identi.ca handle: @kidehen Google+ Profile: https://plus.google.com/112399767740508618350/about LinkedIn Profile: http://www.linkedin.com/in/kidehen ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malwarethreats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malwarethreats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.comPersonal Weblog: http://www.openlinksw.com/blog/~kidehen <http://www.openlinksw.com/blog/%7Ekidehen>Twitter/Identi.ca handle: @kidehen Google+ Profile: https://plus.google.com/112399767740508618350/about LinkedIn Profile: http://www.linkedin.com/in/kidehen ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malwarethreats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security andthreat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malwarethreats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list[email protected] <mailto:[email protected]>https://lists.sourceforge.net/lists/listinfo/virtuoso-users------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Virtuoso-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/virtuoso-users
-- Regards, Kingsley Idehen Founder& CEO OpenLink Software Company Web: http://www.openlinksw.com Personal Weblog: http://www.openlinksw.com/blog/~kidehen Twitter/Identi.ca handle: @kidehen Google+ Profile: https://plus.google.com/112399767740508618350/about LinkedIn Profile: http://www.linkedin.com/in/kidehen
smime.p7s
Description: S/MIME Cryptographic Signature
