Abbreviated URI in unit test options list

Help!
1

hello,

In the Options list of my unit test, i’d like to use abbreviated IRI notation. For example:

test(t1,[all(V = [my_ns:a])) :-    % my_ns:a refers to 'http://bla.fr/a'
 ...

I suppose, I need to add a rdf_meta declaration, but I am not entirely sure what it should look like. Is there a way to achieve this, or should i’d be rather using the expanded URIs?

thanks,
Joost

2

Not sure rdf_meta will work. I’d consider using assertion/1 and rdf_equal/2 in the body

assertion(rdf_equal(V, my_ns:a))

That doesn’t give you the all stuff. You need to handle that some other way (for example by running some part of the body with findall/3).

3

Ok, i’ll do that. Thanks for the quick response!

j