Mercurial > code > home > repos > homeauto
annotate service/reasoning/index.html @ 1044:724cb8ea49b4
case check error
Ignore-this: 7d175ad43bbf538c1ba32e6ee0b64e2d
darcs-hash:bf8630b887e1e2bc4488aa2708c1dc0a3ada04e5
| author | drewp <drewp@bigasterisk.com> |
|---|---|
| date | Mon, 01 Feb 2016 03:09:08 -0800 |
| parents | 5d5106570128 |
| children | d7f59d661073 |
| rev | line source |
|---|---|
| 985 | 1 <!DOCTYPE html> |
| 2 <html> | |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
3 <head> |
|
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
4 <title>reasoning</title> |
| 1043 | 5 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script> |
| 6 <link rel="import" href="/lib/polymer/1.0.9/iron-collapse/iron-collapse.html" | |
| 985 | 7 <link rel="import" href="https://bigasterisk.com/supdebug/bang/service-rows/main.html"> |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
8 <style type="text/css" media="all"> |
| 1042 | 9 /* <![CDATA[ */ |
| 10 body { | |
| 11 font-family: sans-serif; | |
| 12 font-size: 12px; | |
| 13 } | |
| 14 pre { | |
| 15 font-family: sans-serif; | |
| 16 } | |
| 17 pre div { | |
| 18 border-bottom: 1px solid #ccc; | |
| 19 } | |
| 20 .pred { | |
| 21 background: #e7e6f8; | |
| 22 } | |
| 23 .obj { | |
| 24 background: #ccf | |
| 25 } | |
| 985 | 26 .pane { |
| 1042 | 27 position: relative; |
| 985 | 28 display: flex; |
| 1042 | 29 flex-direction: column; |
| 30 } | |
| 985 | 31 .pane pre { |
| 32 overflow: auto; | |
| 33 flex-grow: 1; | |
| 1042 | 34 } |
| 35 /* ]]> */ | |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
36 </style> |
|
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
37 |
|
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
38 </head> |
| 985 | 39 <body layout vertical fit> |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
40 |
| 985 | 41 <div style="flex: 0 0 auto"> |
|
1041
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
42 <service-rows nameSubstrs="reasoning"></service-rows> |
| 985 | 43 </div> |
| 44 | |
| 45 <div class="pane"> | |
| 46 <h2>Input</h2> | |
| 1043 | 47 <div><input id="inputQ"></div> |
| 48 <div style="max-height: 600px; margin-right: 30px; overflow: auto"> | |
| 49 <pre id="input"></pre> | |
| 50 </div> | |
| 985 | 51 </div> |
| 52 | |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
53 |
| 985 | 54 <div class="pane"> |
| 55 <h2>Rules</h2> | |
| 1043 | 56 <div style="max-height: 300px; margin-right: 30px; overflow: auto"> |
| 57 <pre id="rules"></pre> | |
| 58 </div> | |
| 985 | 59 </div> |
| 60 | |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
61 |
| 985 | 62 <div class="pane"> |
| 63 <h2>Output</h2> | |
| 1043 | 64 <div><input id="outputQ"></div> |
| 65 <div style="max-height: 300px; margin-right: 30px; overflow: auto"> | |
| 66 <pre id="output"></pre> | |
| 67 </div> | |
| 985 | 68 </div> |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
69 |
| 985 | 70 <div> |
| 1043 | 71 <label><input id="auto" type="checkbox"> auto refresh</label> |
| 985 | 72 </div> |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
73 |
|
937
38a4769595e2
serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents:
852
diff
changeset
|
74 <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script> |
|
1041
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
75 <script> |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
76 window.NS = { |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
77 room: "http://projects.bigasterisk.com/room/", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
78 dev: "http://projects.bigasterisk.com/device/", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
79 dcterms: "http://purl.org/dc/terms/", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
80 rdfs: "http://www.w3.org/2000/01/rdf-schema#", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
81 map: "http://bigasterisk.com/map#", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
82 rdf: "http://www.w3.org/1999/02/22-rdf-syntax-ns#", |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
83 }; |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
84 </script> |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
85 <link rel="import" href="/rdf/rdf-uri.html"> |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
86 <script type="text/javascript"> |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
87 // <![CDATA[ |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
88 $(function () { |
| 1043 | 89 |
| 90 function makeAddStmts(elem, q) { | |
| 91 return function (stmts) { | |
| 92 elem.empty(); | |
| 93 $.each(stmts, function (i, stmt) { | |
| 94 var s = BigastUri.compactUri(stmt[0]); | |
| 95 var p = BigastUri.compactUri(stmt[1]); | |
| 96 var o = BigastUri.compactUri(stmt[2]); | |
| 97 | |
| 1044 | 98 q = q.toLowerCase() |
| 99 if (q && | |
| 1043 | 100 s.toLowerCase().indexOf(q) == -1 && |
| 101 p.toLowerCase().indexOf(q) == -1 && | |
| 102 o.toLowerCase().indexOf(q) == -1) { | |
| 103 return; | |
| 104 } | |
| 105 | |
| 106 elem.append( | |
| 107 $("<div>") | |
| 108 .append($("<span>").text(s)) | |
| 109 .append(" ") | |
| 110 .append($("<span>").addClass("pred").text(p)) | |
| 111 .append(" ") | |
| 112 .append($("<span>").addClass("obj").text(o))); | |
| 113 }) | |
| 114 } | |
| 115 } | |
| 116 | |
| 117 function updateIn() { | |
| 1044 | 118 $.get("lastInputGraph", makeAddStmts($("#input"), $("#inputQ").val())); |
| 1043 | 119 } |
| 120 function updateOut() { | |
| 1044 | 121 $.get("lastOutputGraph", makeAddStmts($("#output"), $("#outputQ").val())); |
| 122 } | |
| 1043 | 123 |
|
1041
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
124 function update() { |
| 1043 | 125 updateIn(); |
| 126 updateOut(); | |
|
1041
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
127 $.get("rules", function (txt) { |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
128 $("#rules").empty().text(txt); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
129 }); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
130 } |
| 1043 | 131 $("#inputQ").on('keyup', updateIn); |
|
1041
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
132 function loop() { |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
133 update(); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
134 if ($("input#auto").is(":checked")) { |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
135 setTimeout(loop, 2000); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
136 } |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
137 } |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
138 loop(); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
139 $("input#auto").click(loop); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
140 }); |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
141 // ]]> |
|
5fa741cb02a3
use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents:
985
diff
changeset
|
142 </script> |
|
825
fc753b24f69a
move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff
changeset
|
143 </body> |
|
937
38a4769595e2
serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents:
852
diff
changeset
|
144 </html> |