diff service/reasoning/index.html @ 1041:5fa741cb02a3

use rdf-uri.html for shortening Ignore-this: c0c35e1a6a7f6339926df67ed3550989 darcs-hash:e6ecd5d0dc2dbf6708ed72a2453b0be93b06f252
author drewp <drewp@bigasterisk.com>
date Mon, 01 Feb 2016 02:33:33 -0800
parents 7e99f05c21cd
children 43f2e21e2225
line wrap: on
line diff
--- a/service/reasoning/index.html	Mon Feb 01 02:15:23 2016 -0800
+++ b/service/reasoning/index.html	Mon Feb 01 02:33:33 2016 -0800
@@ -39,7 +39,7 @@
   <body layout vertical fit>
 
     <div style="flex: 0 0 auto">
-      <service-rows nameSubstrs="reasoning map"></service-rows>
+      <service-rows nameSubstrs="reasoning"></service-rows>
     </div>
     
     <div class="pane">
@@ -66,56 +66,49 @@
     </div>
 
     <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script>
- <script type="text/javascript">
-      // <![CDATA[
-      $(function () { 
-	  function abbrev(term) { // does rdfquery do this?
-	      var repl = [
-		  ["http://projects.bigasterisk.com/room/", "room:"],
-		  ["http://projects.bigasterisk.com/device/", "dev:"],
-		  ["http://purl.org/dc/terms/", "dcterms:"],
-		  ["http://www.w3.org/2000/01/rdf-schema#", "rdfs:"],
-		  ["http://bigasterisk.com/map#", "map:"],
-		  ["http://www.w3.org/1999/02/22-rdf-syntax-ns#", "rdf:"]]; 
-	      for (i in repl) {
-		  var p=repl[i];
-		  if (term.match(new RegExp("^" + p[0]))) {
-		      return term.replace(p[0], p[1]);
-		  }
-	      }
-	      return term;
-	  }
+    <script>
+     window.NS = {
+       room: "http://projects.bigasterisk.com/room/", 
+       dev: "http://projects.bigasterisk.com/device/", 
+       dcterms: "http://purl.org/dc/terms/", 
+       rdfs: "http://www.w3.org/2000/01/rdf-schema#", 
+       map: "http://bigasterisk.com/map#", 
+       rdf: "http://www.w3.org/1999/02/22-rdf-syntax-ns#", 
+     };
+    </script>
+    <link rel="import" href="/rdf/rdf-uri.html">
+    <script type="text/javascript">
+     // <![CDATA[
+     $(function () { 
+       function update() {
+	 function makeAddStmts(elem) {
+	   return function (stmts) {
+	     elem.empty();
+	     $.each(stmts, function (i, s) {
+	       elem.append($("<div>").html(
+		 "<span>"+BigastUri.compactUri(s[0])+"</span> "+
+                 "<span class=\"pred\">"+BigastUri.compactUri(s[1])+"</span> "+
+	         "<span class=\"obj\">"+BigastUri.compactUri(s[2])+"</span>"));
+	     })
+	   }
+	 }
 
-	  function update() {
-	      function makeAddStmts(elem) {
-		  return function (stmts) {
-		      elem.empty();
-		      $.each(stmts, function (i, s) {
-			  elem.append($("<div>").html(
-			      "<span>"+abbrev(s[0])+"</span> "+
-				  "<span class=\"pred\">"+abbrev(s[1])+"</span> "+
-				  "<span class=\"obj\">"+abbrev(s[2])+"</span>"));
-
-		      })
-		  }
-	      }
-
-	      $.get("lastInputGraph", makeAddStmts($("#input")));
-	      $.get("lastOutputGraph", makeAddStmts($("#output")));
-	      $.get("rules", function (txt) { 
-		  $("#rules").empty().text(txt);
-	      });
-	  }
-	  function loop() {
-	      update();
-	      if ($("input#auto").is(":checked")) {
-		  setTimeout(loop, 2000);
-	      }
-	  }
-	  loop();
-	  $("input#auto").click(loop);
-      });
-      // ]]>
-</script>
+	 $.get("lastInputGraph", makeAddStmts($("#input")));
+	 $.get("lastOutputGraph", makeAddStmts($("#output")));
+	 $.get("rules", function (txt) { 
+	   $("#rules").empty().text(txt);
+	 });
+       }
+       function loop() {
+	 update();
+	 if ($("input#auto").is(":checked")) {
+	   setTimeout(loop, 2000);
+	 }
+       }
+       loop();
+       $("input#auto").click(loop);
+     });
+     // ]]>
+    </script>
   </body>
 </html>