Step | Formula | Justification | Bindings |
---|---|---|---|
1 | { :xhr1 sop:contactsOrigin "fedex.com" . } log:includes {:xhr1 sop:contactsOrigin "fedex.com" . } . | built-in Axiom log:includes | |
2 | ( "http://fedex.com/track.js" "http://([^/]+)/" ) :search ( "fedex.com" ) . | built-in Axiom str:search | |
3 | <http://fedex.com/track.js> :uri "http://fedex.com/track.js" . | built-in Axiom log:uri | |
4 | ( :q2 ) list:member :q2 . | built-in Axiom list:member | |
5 | ... | parsing <mashup.n3> | |
6 | mas:fedexConnection :connectionAuthority "fedex.com"; :requests ( mas:q2 ) . mas:q2 :absoluteURI "http://fedex.com/track.js"; :methodName "GET" . | erasure from step 5 | |
7 | ... | parsing <scriptorigin.n3> | |
8 | @forAll :CONNECTION, :I, :ORIGIN, :Q, :RES . { ( :I "http://([^/]+)/" ) str:search ( :ORIGIN ) . :CONNECTION ht:connectionAuthority :ORIGIN; ht:requests [ list:member :Q ] . :Q ht:absoluteURI :I; ht:methodName "GET" . :RES log:uri :I . } log:implies {:RES sop:origin :ORIGIN . } . | erasure from step 7 | |
9 | ... | rule from step 8 applied to steps (2, 3, 4, 6) | {'ORIGIN': '"fede....com"', 'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'Q': u'<mashup#q2>', '_g_L43C18': '?', 'CONNECTION': u'<mashup#fedexConnection>'} |
10 | <http://fedex.com/track.js> :origin "fedex.com" . | erasure from step 9 | |
11 | @forAll :ORIGIN, :P . { :P sop:origin :ORIGIN . } log:implies {:P c:controls_subject ( sop:contactsOrigin :ORIGIN ) . } . | erasure from step 7 | |
12 | ... | rule from step 11 applied to steps (10,) | {'ORIGIN': '"fede....com"', 'P': u'<http://fedex.com/track.js>'} |
13 | <http://fedex.com/track.js> c:controls_subject ( :contactsOrigin "fedex.com" ) . | erasure from step 12 | |
14 | ... | parsing <httpsocial.n3> | |
15 | :information s:subPropertyOf c:says . | erasure from step 14 | |
16 | { <http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } . } log:includes {<http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } . } . | built-in Axiom log:includes | |
17 | <http://fedex.com/track.js> :uri "http://fedex.com/track.js" . | built-in Axiom log:uri | |
18 | ( "http://fedex.com/track.js" "http://([^/]+)/" ) :search ( "fedex.com" ) . | built-in Axiom str:search | |
19 | <http://fedex.com/track.js> :uri "http://fedex.com/track.js" . | built-in Axiom log:uri | |
20 | ( :q2 ) list:member :q2 . | built-in Axiom list:member | |
21 | :a2 hs:messageEntity {:xhr1 sop:contactsOrigin "fedex.com" . }; ht:statusCodeNumber "200" . :fedexConnection ht:requests ( :q2 ) . :q2 ht:absoluteURI "http://fedex.com/track.js"; ht:methodName "GET"; ht:resp :a2 . | erasure from step 5 | |
22 | ... | parsing <httpspeech.n3> | |
23 | @forAll hs:E, hs:RES, :A, :CONNECTION, :I, :Q . { hs:RES log:uri :I . :A hs:messageEntity hs:E; ht:statusCodeNumber "200" . :CONNECTION ht:requests [ list:member :Q ] . :Q ht:absoluteURI :I; ht:methodName "GET"; ht:resp :A . } log:implies {:CONNECTION c:says {hs:RES hs:information hs:E . } . } . | erasure from step 22 | |
24 | ... | rule from step 23 applied to steps (19, 20, 21) | {'A': u'<mashup#a2>', 'E': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'Q': u'<mashup#q2>', 'CONNECTION': u'<mashup#fedexConnection>', '_g_L134C29': '?'} |
25 | :fedexConnection c:says {<http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } . } . | erasure from step 24 | |
26 | :fedexConnection ht:connectionAuthority "fedex.com" . | erasure from step 5 | |
27 | @forAll :E, :RES, htt:A, htt:CONNECTION, htt:I . { ( htt:I "http://([^/]+)/" ) str:search ( htt:A ) . :RES log:uri htt:I . htt:CONNECTION c:says {:RES :information :E . }; ht:connectionAuthority htt:A . } log:implies {htt:CONNECTION c:controls_spo ( :RES :information :E ) . } . | erasure from step 22 | |
28 | ... | rule from step 27 applied to steps (17, 18, 25, 26) | {'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'CONNECTION': u'<mashup#fedexConnection>', 'E': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'A': '"fede....com"'} |
29 | :fedexConnection c:controls_spo ( <http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } ) . | erasure from step 28 | |
30 | :fedexConnection c:says {<http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } . } . | erasure from step 24 | |
31 | ... | parsing <speech.n3> | |
32 | @forAll :obj, :pred, :subj, spe:A . { spe:A :controls_spo ( :subj :pred :obj ); :says [ log:includes {:subj :pred :obj . } ] . } log:implies {:subj :pred :obj . } . | erasure from step 31 | |
33 | ... | rule from step 32 applied to steps (16, 29, 30) | {'_g_L76C11': '{track.js hs:information {mas:xhr1 sop:contactsOrigin "fede....com"}}', 'pred': u'<httpspeech#information>', 'A': u'<mashup#fedexConnection>', 'subj': u'<http://fedex.com/track.js>', 'obj': '{mas:xhr1 sop:contactsOrigin "fede....com"}'} |
34 | <http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } . | erasure from step 33 | |
35 | ... | parsing <rdfs-nice.n3> | |
36 | @forAll :bbb, :xxx, :yyy . { @forSome run:_g12 . run:_g12 s:subPropertyOf :bbb . :xxx run:_g12 :yyy . } log:implies {:xxx :bbb :yyy . } . | erasure from step 35 | |
37 | ... | rule from step 36 applied to steps (15, 34) | {'_g_L71C8': u'<httpspeech#information>', 'xxx': u'<http://fedex.com/track.js>', 'yyy': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'bbb': u'<speech#says>'} |
38 | <http://fedex.com/track.js> c:says {:xhr1 sop:contactsOrigin "fedex.com" . } . | erasure from step 37 | |
39 | @forAll :obj, :pred, :subj, spe:A . { spe:A :controls_subject ( :pred :obj ); :says [ log:includes {:subj :pred :obj . } ] . } log:implies {:subj :pred :obj . } . | erasure from step 31 | |
40 | ... | rule from step 39 applied to steps (1, 13, 38) | {'A': u'<http://fedex.com/track.js>', 'pred': u'<scriptorigin#contactsOrigin>', 'subj': u'<mashup#xhr1>', 'obj': '"fede....com"', '_g_L81C11': '{mas:xhr1 sop:contactsOrigin "fede....com"}'} |
41 | :xhr1 sop:contactsOrigin "fedex.com" . | erasure from step 40 | |
42 | ... | parsing <mash1-goal.n3> | |
43 | { :xhr1 sop:contactsOrigin "fedex.com" . } log:implies {:xhr1 sop:contactsOrigin "fedex.com" . } . | erasure from step 42 | |
44 | :xhr1 sop:contactsOrigin "fedex.com" . | rule from step 43 applied to steps (41,) | {} |
Conclusion:
@prefix : <mashup#> . @prefix sop: <scriptorigin#> . :xhr1 sop:contactsOrigin "fedex.com" .