Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 236:273709eaaefd

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