refreshing

eyereasoner · Sep 22, 2023 · 17b3177 · 17b3177
1 parent 38a7151
commit 17b3177
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/reasoning/n3patch/patch-surface.n3s → reasoning/blogic/patch.n3s b/reasoning/n3patch/patch-surface.n3s → reasoning/blogic/patch.n3s
@@ -2,8 +2,15 @@
 @prefix solid: <http://www.w3.org/ns/solid/terms#>.
 @prefix ex: <http://www.example.org/terms#>.
 
+# sample data
+ex:pers001 ex:familyName "Garcia".
+ex:pers001 ex:givenName "Claudia".
+ex:pers002 ex:familyName "Cardinale".
+ex:pers002 ex:givenName "Claudia".
+
+# patch surface
 (_:rename _:where _:inserts _:deletes) log:onNegativeSurface {
-    <http://eyereasoner.github.io/eye/reasoning/n3patch/patch.n3s> log:semantics {
+    <../n3patch/patch.n3> log:semantics {
         _:rename a solid:InsertDeletePatch;
             solid:where _:where;
             solid:inserts _:inserts;
@@ -15,6 +22,7 @@
     }.
 }.
 
+# query
 (_:Person _:familyName _:givenName) log:onQuerySurface {
     _:Person ex:familyName _:familyName;
         ex:givenName _:givenName.

diff --git a/reasoning/n3patch/patched-data-surface.ttl → reasoning/blogic/patch.n3s.out b/reasoning/n3patch/patched-data-surface.ttl → reasoning/blogic/patch.n3s.out
diff --git a/reasoning/n3patch/patch.n3s b/reasoning/n3patch/patch.n3s
diff --git a/reasoning/n3patch/test b/reasoning/n3patch/test
@@ -1,3 +1,2 @@
 #!/bin/bash -x
 eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope http://eyereasoner.github.io/eye/reasoning/n3patch/sample-data.ttl http://eyereasoner.github.io/eye/reasoning/n3patch/patch-rule.n3 --pass --output patched-data.ttl
-eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope --blogic http://eyereasoner.github.io/eye/reasoning/n3patch/sample-data.ttl http://eyereasoner.github.io/eye/reasoning/n3patch/patch-surface.n3s --output patched-data-surface.ttl