Yes, this has been reported before. Switch to the sp:text syntax to
avoid inferences that may garble up the SPIN RDF syntax.
Holger
On 2/11/2015 21:47, Claudia Grieco wrote:
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 topbrai...@googlegroups.com
---
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 topbraid-user...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout
<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 topbraid-users@googlegroups.com
---
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 topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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 topbraid-users@googlegroups.com
---
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 topbraid-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
