Setup new korrvigs

flake.nix

@@ -35,7 +35,8 @@
       inputs.home-manager.follows = "home";
     };
     korrvigs = {
-      url = "github:dwarfmaster/korrvigs";
+      # url = "github:dwarfmaster/korrvigs";
+      url = "/home/luc/repos/korrvigs";
       inputs.nixpkgs.follows = "nixos";
     };
 

profiles/hm/interface/korrvigs/default.nix

@@ -6,11 +6,10 @@
 }: {
   services.korrvigs = {
     enable = true;
-    predicates = {
-      "title" = [ "entry" "string" ];
-      "instance-of" = [ "entry" "entry" ];
-      "subclass-of" = [ "entry" "entry" ];
-    };
+    wikiDir = "/home/luc/downloads/wiki";
+    # The rels.json and rules.json files are exported by the running korrvigs instance
+    predicates = builtins.fromJSON (builtins.readFile ./rels.json);
+    rules = builtins.fromJSON (builtins.readFile ./rules.json);
   };
   xsession.windowManager.bspwm.rules = {
     "popup" = {

profiles/hm/interface/korrvigs/rels.json

@@ -0,0 +1 @@
+{"instantiates":["entry","entry"],"time-datum-day-in-week":["entry","number"],"time-datum-day-in-month":["entry","number"],"spatially-projects-onto":["entry","entry"],"is-a_":["entry","entry"],"exists-at":["entry","entry"],"in-sequence-number":["entry","entry","number"],"time-datum-hour":["entry","number"],"time-datum-utc-offset":["entry","number"],"time-datum-week":["entry","number"],"associated-file":["entry","entry"],"relation-type-at":["entry","number","entry"],"name-value":["entry","string"],"is-a":["entry","entry"],"instance-of":["entry","entry"],"inheres-in":["entry","entry"],"instance-of_":["entry","entry"],"denotes-at":["entry","entry","entry"],"name":["entry","string"],"relation-rules":["entry","entry"],"occupies-spatiotemporal-region":["entry","entry"],"notes":["entry","entry"],"continuant-part-of-at":["entry","entry","entry"],"occurent-part-of":["entry","entry"],"member-part-of-at":["entry","entry","entry"],"temporally-projects-onto":["entry","entry"],"delimitates":["entry","entry"],"occupies-spatial-region-at":["entry","entry","entry"],"located-in-at":["entry","entry","entry"],"bearer-of-at":["entry","entry","entry"],"history-of":["entry"],"has-participant-at":["entry","entry","entry","entry"],"subservice-at":["entry","entry","entry"],"user-account":["entry","entry"],"text-identifier":["entry","string"],"is-about":["entry","entry"],"time-datum-nanosecond":["entry","number"],"format":["entry","entry"],"class-of":["entry","string"],"occupies-temporal-region":["entry","entry"],"temporal-region-start":["entry","entry"],"temporal-region-end":["entry","entry"],"time-point-datum":["entry","entry"],"time-datum-year":["entry","number"],"time-datum-month":["entry","number"],"time-datum-day-in-year":["entry","number"],"time-datum-minute":["entry","number"],"time-datum-second":["entry","number"],"implements":["entry","entry"],"agent-expected-class":["entry","entry"],"involves":["entry","entry"]}

profiles/hm/interface/korrvigs/rules.json

@@ -0,0 +1 @@
+["bearer-of-at(I, G, T) :- inheres-in(S, I), instantiates(S, G), occupies-temporal-region(S, T).","is-a_(D, D) :- instance-of(D, C), instance-of(C, C).","is-a_(C, E) :- is-a_(C, D), is-a(D, E).","continuant-part-of-at(I, S, T) :- in-sequence-number(I, S, N), occupies-temporal-region(I, T).","instance-of_(E, C) :- instance-of(E, C).","instance-of_(E, D) :- instance-of(E, C), is-a(C, D).","continuant-part-of-at(A, B, T) :- member-part-of-at(A, B, T).","inheres-in(S1, I) :- subservice-at(S1, S2, T), inheres-in(S2, I).","class-of(E, N) :- instance-of(E, C), name(C, N)."]