Hi everyone,
Now the problem appears whenever I try to run any inferences on the rules.
Parameters are added in EVERY function call and the added parameters are
even in the inference list
example
spin:contains(?area, ?spThing1) becomes spin:contains(?area, ?area,
?spThing1) with inferences:
-spin:contains(?area, ?area, ?spThing1) sp:arg ?area
-spin:contains(?area, ?area, ?spThing1) sp:arg ?spThing
Do you have any idea why?
thanks
Claudia
Il giorno mercoledì 4 febbraio 2015 14:28:47 UTC+1, Claudia Grieco ha
scritto:
>
> Hi ,
> Thanks for your reply, I'll try to follow your advices
> Bye
> Claudia
>
> Il giorno sabato 24 gennaio 2015 00:57:31 UTC+1, Holger Knublauch ha
> scritto:
>>
>> Hi Claudia,
>>
>> such effects may happen when (OWL RL) inferences are executed over a
>> graph containing SPIN RDF syntax triples. When you interrupt the
>> inferencing process, it will not have cleaned up the "trivial" inferences
>> and thus you may end up with triples that mess up the SPIN RDF syntax.
>> Resetting the inferences should fix this, but better: don't interrupt the
>> process.
>>
>> If you want to 100% avoid complications due to the SPIN RDF syntax,
>> switch to SPIN text syntax using sp:text. The Model menu has items to
>> convert to the text-only format (in which SPIN queries are not represented
>> as triples), and there is a TopBraid Composer preference under "SPIN" to
>> always use sp:text.
>>
>> HTH
>> Holger
>>
>>
>> On 1/24/15, 2:31 AM, Claudia Grieco wrote:
>>
>> Hi to all,
>> I'm currently using TopBraid Composer Free Edition
>> Version: 4.5.0
>>
>> I have noticed a strange behaviour: wherever I launch an inference on a
>> file, and then I interrupt (Cancel) the inference process for some reason,
>> Top Braid rewrites my rule file adding variables at random to function
>> called in rules.
>> For example the following spin:rule:
>> *INSERT {*
>> * ?previousPerson tracking:blobMatch ?this .*
>>
>> *}*
>> *WHERE {*
>> * ?previousPerson a foaf:Person .*
>> * ?previousPerson tracking:blobMatch ?b2 .*
>> *[....]*
>> * FILTER (((spin:myfunction(?b2, ?this) && spin:hasHumanSize(?this))
>> && (?dist <= 45)) && (?dist = spin:getMinHumanDistance(?b2, ?this))) .*
>> * .*
>> *}*
>>
>> becomes:
>> *INSERT {*
>> * ?previousPerson tracking:blobMatch ?this .*
>>
>> *}*
>> *WHERE {*
>> * ?previousPerson a foaf:Person .*
>> * ?previousPerson tracking:blobMatch ?b2 .*
>> *[....]*
>> * FILTER (((spin:myfunction(?b2, ?this) && spin:hasHumanSize(?this,
>> ?this)) && (?dist <= 45)) && (?dist = spin:getMinHumanDistance(?b2, ?this,
>> ?b2))) .*
>> * .*
>> *}*
>>
>> Sometimes it also changes the order of variables in my fuction
>> declaration...
>> What could be the problem?
>> Note: I'm currently storing rules in rdf format instead of ttl, is it an
>> issue?
>> Thanks a lot
>> Claudia
>> --
>> You received this message because you are subscribed to the Google Group
>> "TopBraid Suite Users", the topics of which include Enterprise Vocabulary
>> Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid
>> Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
>> To post to this group, send email to [email protected]
>> ---
>> You received this message because you are subscribed to the Google Groups
>> "TopBraid Suite Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to [email protected].
>> For more options, visit https://groups.google.com/d/optout.
>>
>>
>>
--
You received this message because you are subscribed to the Google Group
"TopBraid Suite Users", the topics of which include Enterprise Vocabulary
Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live,
TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to [email protected]
---
You received this message because you are subscribed to the Google Groups
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
