Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 1042:aabb6ef60042

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reindent Ignore-this: e1d8671c92ea28fe8a176d88262e6523 darcs-hash:7c7caabe23b7b2703d9b007401332f59998fdf5b
author drewp <drewp@bigasterisk.com>
date Mon, 01 Feb 2016 02:34:26 -0800
parents 5fa741cb02a3
children 7a9836d51b0e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
1 <!DOCTYPE html>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
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>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
5 <link rel="import" href="https://bigasterisk.com/lib/polymer/0.5.2/core-splitter/core-splitter.html">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
6 <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
7 <style type="text/css" media="all">
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
8 /* <![CDATA[ */
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
9 body {
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
10 font-family: sans-serif;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
11 font-size: 12px;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
12 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
13 pre {
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
14 font-family: sans-serif;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
15 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
16 pre div {
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
17 border-bottom: 1px solid #ccc;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
18 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
19 .pred {
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
20 background: #e7e6f8;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
21 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
22 .obj {
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
23 background: #ccf
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
24 }
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
25 .pane {
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
26 position: relative;
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
27 display: flex;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
28 flex-direction: column;
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
29 }
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
30 .pane pre {
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
31 overflow: auto;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
32 flex-grow: 1;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
33 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
34 /* ]]> */
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
35 </style>
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
36
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
37 </head>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
38 <body layout vertical fit>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
39
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
40 <div style="flex: 0 0 auto">
1041
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
41 <service-rows nameSubstrs="reasoning"></service-rows>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
42 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
43
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
44 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
45 <h2>Input</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
46 <pre id="input"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
47 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
48
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
49 <core-splitter direction="up"></core-splitter>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
50
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
51 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
52 <h2>Rules</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
53 <pre id="rules"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
54 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
55
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
56 <core-splitter direction="up"></core-splitter>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
57
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
58 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
59 <h2>Output</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
60 <pre id="output"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
61 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
62
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
63 <div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
64 <input id="auto" type="checkbox"/> <label for="auto">auto refresh</label>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
65 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
66
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
67 <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
68 <script>
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
69 window.NS = {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
70 room: "http://projects.bigasterisk.com/room/",
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
71 dev: "http://projects.bigasterisk.com/device/",
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
72 dcterms: "http://purl.org/dc/terms/",
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
73 rdfs: "http://www.w3.org/2000/01/rdf-schema#",
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
74 map: "http://bigasterisk.com/map#",
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
75 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
76 };
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
77 </script>
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
78 <link rel="import" href="/rdf/rdf-uri.html">
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
79 <script type="text/javascript">
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
80 // <![CDATA[
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
81 $(function () {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
82 function update() {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
83 function makeAddStmts(elem) {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
84 return function (stmts) {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
85 elem.empty();
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
86 $.each(stmts, function (i, s) {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
87 elem.append($("<div>").html(
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
88 "<span>"+BigastUri.compactUri(s[0])+"</span> "+
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
89 "<span class=\"pred\">"+BigastUri.compactUri(s[1])+"</span> "+
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
90 "<span class=\"obj\">"+BigastUri.compactUri(s[2])+"</span>"));
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
91 })
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
92 }
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
93 }
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
94
1041
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
95 $.get("lastInputGraph", makeAddStmts($("#input")));
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
96 $.get("lastOutputGraph", makeAddStmts($("#output")));
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
97 $.get("rules", function (txt) {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
98 $("#rules").empty().text(txt);
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
99 });
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
100 }
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
101 function loop() {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
102 update();
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
103 if ($("input#auto").is(":checked")) {
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
104 setTimeout(loop, 2000);
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
105 }
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
106 }
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
107 loop();
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
108 $("input#auto").click(loop);
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
109 });
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
110 // ]]>
5fa741cb02a3 use rdf-uri.html for shortening
drewp <drewp@bigasterisk.com>
parents: 985
diff changeset
111 </script>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
112 </body>
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
113 </html>