Hi,
I'm a new user to TBC and I'm trying to define SPIN constraints to
check functional dependency violations in RDF-Literals. When I define
a query directly in a class, TBC can find the violation. But when I
generalize the query via SPARQL template and specify the template to
check the same funtional dependency, TBC doesn't find the constraint
violation anymore. Is this a bug or am I doing something wrong?
Here is the working Query:
ASK WHERE {
?this stockdb:location_CITY ?arg3 .
?this stockdb:location_COUNTRY ?arg4 .
FILTER (spl:hasValue(?this, stockdb:location_CITY, "Las Vegas")
&& (!spl:hasValue(?this, stockdb:location_COUNTRY, "USA"))) .
}
Here is the template version that doesn't work:
spin:body
ASK WHERE {
?this ?arg1 ?arg3 .
?this ?arg2 ?arg4 .
FILTER (spl:hasValue(?this, ?arg1, ?arg3) && (!spl:hasValue(?
this, ?arg2, ?arg4))) .
}
spin:constraints
Argument sp:arg1 : rdf:Property
Argument sp:arg2 : rdf:Property
Argument sp:arg3 : xsd:string
Argument sp:arg4 : xsd:string
Thank you for your help!
Best,
Christian
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"TopBraid Composer Users" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---
