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]> 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 not
>> promise 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.
>
>
> Kingsley
>>
>>
>> On 27 April 2012 16:57, Kingsley Idehen<[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 can
>>> recreate based on the information in this post. Naturally, you have to
>>> bear
>>> with the support turnaround which is always based on what's on the queue
>>> etc..
>>>
>>> They (or I) will get back to you.
>>>
>>>
>>> Kingsley
>>>>
>>>>
>>>> On 27 April 2012 15:45, Kingsley Idehen<[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>:
>>>>>> 15
>>>>>
>>>>>
>>>>> I assume you are using rdfs schema for your inference rule? If true, I
>>>>> also
>>>>> assume 15 is the inferred triples count?
>>>>>
>>>>>
>>>>> Kingsley
>>>>>
>>>>>> sparql 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}: 6
>>>>>>
>>>>>> I hope there will be no typos. Do you need anything else to share with
>>>>>> you? Please let me know.
>>>>>>
>>>>>> Thanks.
>>>>>>
>>>>>> On 27 April 2012 15:05, Kingsley Idehen<[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
>>>>>>>> only
>>>>>>>> on the<uri> results to the correct inferred triples, but not
>>>>>>>> in
>>>>>>>> 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 20
>>>>>>>>
>>>>>>>> I 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 any
>>>>>>>> new 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.
>>>>>>>
>>>>>>> Kingsley
>>>>>>>
>>>>>>>> On 27 April 2012 14:18, Kingsley Idehen<[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 dataset
>>>>>>>>>>> that
>>>>>>>>>>> <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 Carina
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Yes re. INI.
>>>>>>>>>
>>>>>>>>> Alternatively, one diagnostic option re. assistance from us would
>>>>>>>>> be
>>>>>>>>> to
>>>>>>>>> change the INSERT into a SELECT and then share the SPARQL protocol
>>>>>>>>> URL.
>>>>>>>>>
>>>>>>>>> Kingsley
>>>>>>>>>
>>>>>>>>>>> Thanks.
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> ------------------------------------------------------------------------------
>>>>>>>>>>> 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
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> ------------------------------------------------------------------------------
>>>>>>>>> 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
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>
>>>>>> ------------------------------------------------------------------------------
>>>>>> 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
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>> ------------------------------------------------------------------------------
>>>>> 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
>>>>>
>>>>
>>>> ------------------------------------------------------------------------------
>>>> 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
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>> ------------------------------------------------------------------------------
>>> 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
>>>
>>
>> ------------------------------------------------------------------------------
>> 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
>
>
>
>
>
>
>
> ------------------------------------------------------------------------------
> 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
>
