I am trying to check if there are two individuals connected by the relation B , and have relation c with the same element
ASK{
{?x :B ?y}filter not exist{?x :c ?t1, ?y :c ?t2 ,t1 ≠ t2 }
}
I am trying to check if there are two individuals connected by the relation B , and have relation c with the same element
ASK{
{?x :B ?y}filter not exist{?x :c ?t1, ?y :c ?t2 ,t1 ≠ t2 }
}
If I understood right, the query you are trying to write should look like this:
ASK{
?x :B ?y;
:c ?t1 .
?y :c ?t2 .
filter (t1 != t2 )
}
Please note that with a such query, x
and y
might just as well be classes, and not individuals.