From d8c3529ad90d5465909dff2e7bbcd141c08c409a Mon Sep 17 00:00:00 2001 From: josd Date: Sat, 14 Dec 2024 23:01:58 +0100 Subject: [PATCH] refreshing --- lib/rdfsurfaces.n3 | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/lib/rdfsurfaces.n3 b/lib/rdfsurfaces.n3 index 358f4f7..c8df556 100644 --- a/lib/rdfsurfaces.n3 +++ b/lib/rdfsurfaces.n3 @@ -67,10 +67,7 @@ ?V log:onNegativeSurface ?G. ?G graph:list ?L. ?L list:removeDuplicates ?B. - ( { ?B s:findComponent (?H ?K) } - false - true - ) log:ifThenElseIn ?SCOPE. + ({ ?B s:findComponent (?H ?K) } false true) log:ifThenElseIn ?SCOPE. ?B list:notMember { ?A log:onNegativeAnswerSurface ?B }. (?H { ?B list:select ({ ?U log:onNegativeSurface ?H } ?K) } ?E) log:collectAllIn ?SCOPE. (?Q { ?B list:select (?Q ?K). ({ ?Q log:equalTo { ?X log:onNegativeSurface ?Y } } false true) log:ifThenElseIn ?SCOPE } ?F) log:collectAllIn ?SCOPE. @@ -180,5 +177,5 @@ ?T log:equalTo { ?S ?P ?O }. ?K list:notMember { ?A log:onNegativeSurface ?B }. ?K list:notMember { ?A log:onNegativeAnswerSurface ?B }. - ?P a log:Component. 1 log:trace ?P. + ?P a log:Component. }.