1: :uri "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" . [by built-in Axiom log:uri] 2: """glean_title.xsl http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl""" :normalize-space "glean_title.xsl http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" . [by built-in Axiom fn:normalize-space] 3: ( "glean_title.xsl http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" "[ \t\r\n]+" ) :tokenize ( "glean_title.xsl" "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" ) . [by built-in Axiom fn:tokenize] 4: ( "glean_title.xsl" "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" ) :member "glean_title.xsl" . [by built-in Axiom list:member] 5: ( "glean_title.xsl" "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" ) :resolve-uri "http://www.w3.org/2001/sw/grddl-wg/td/glean_title.xsl" . [by built-in Axiom fn:resolve-uri] 6: :uri "http://www.w3.org/2001/sw/grddl-wg/td/glean_title.xsl" . [by built-in Axiom log:uri] 7: ... [by parsing ] 8: @forSome :_g28, :_g29, g:_g6 . ( g:_g6 "/*" ) gspec:xpath :_g28 . ( g:_g6 """/*/@*[local-name()="transformation" and namespace-uri()= "http://www.w3.org/2003/g/data-view#"]""" ) gspec:xpath :_g29 . :_g28 fn:base-uri "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" . :_g29 fn:string """glean_title.xsl http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl""" . [by erasure from step 7] 9: ... [by parsing ] 10: @forAll :BASE, :E, :N, :REF, :TX, :TXURI, :V, :Vnorm . { @forSome run:_g30, run:_g31 . ( :N "/*" ) gspec:xpath :E . ( :N """/*/@*[local-name()="transformation" and namespace-uri()= "http://www.w3.org/2003/g/data-view#"]""" ) gspec:xpath run:_g30 . ( :REF :BASE ) fn:resolve-uri :TXURI . ( :Vnorm "[ \t\r\n]+" ) fn:tokenize run:_g31 . run:_g30 fn:string :V . run:_g31 list:member :REF . :E fn:base-uri :BASE . :TX log:uri :TXURI . :V fn:normalize-space :Vnorm . } log:implies {:N grddl:transformation :TX . } . [by erasure from step 9] 11: ... [by rule from step 10 applied to steps [2, 3, 4, 5, 6, 8] with bindings {'E': '[...]', 'TX': '', '_g_L14C16': '[...]', 'TXURI': '"http....xsl"', 'N': '', 'Vnorm': '"glea....xsl"', 'BASE': '"http...html"', 'V': '"glea....xsl"', '_g_L16C35': '?', 'REF': '"glea....xsl"'}] 12: @forSome :_g6 . :_g6 grddl:transformation . [by erasure from step 11] 13: ... [by parsing ] 14: :Transformation owl:onProperty :transformationProperty; owl:someValuesFrom :TransformationProperty . [by erasure from step 13] 15: :transformation s:range :Transformation . [by erasure from step 13] 16: @forSome :_g6 . :_g6 grddl:transformation . [by erasure from step 11] 17: ... [by parsing ] 18: @forAll :C, :O . { @forSome run:_g32, run:_g33 . run:_g32 run:_g33 :O . run:_g33 s:range :C . } log:implies {:O a :C . } . [by erasure from step 17] 19: ... [by rule from step 18 applied to steps [15, 16] with bindings {'C': '', '_g_L2C6': '', '_g_L2C3': '', 'O': ''}] 20: a :Transformation . [by erasure from step 19] 21: @forAll :C, :P, :S . { @forSome run:_g34 . run:_g34 owl:onProperty :P; owl:someValuesFrom :C . :S a run:_g34 . } log:implies { @forSome run:_g35 . run:_g35 a :C . :S :P run:_g35 . } . [by erasure from step 17] 22: ... [by rule from step 21 applied to steps [14, 20] with bindings {'P': '', 'C': '', '_g_L3C8': '', 'S': ''}] 23: @forSome :_g24 . grddl:transformationProperty :_g24 . [by erasure from step 22] 24: @forSome :_g6 . "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" fn:doc :_g6 . [by erasure from step 7] 25: :uri "http://www.w3.org/2001/sw/grddl-wg/td/glean_title.xsl" . [by built-in Axiom log:uri] 26: @forSome :_g24 . grddl:transformationProperty :_g24 . [by erasure from step 22] 27: @forSome :_g1, :_g6 . "http://www.w3.org/2001/sw/grddl-wg/td/glean_title.xsl" fn:doc :_g1 . ( :_g1 :_g6 ) gspec:resultTree [ gspec:rdfParse { "Are You Experienced?" . } ] . [by erasure from step 7] 28: @forAll :G, :R, :RDFXML, :TP, :TXDOC, :TXNODE . { @forSome run:_g25 . ( :TXNODE :R ) gspec:resultTree :RDFXML . run:_g25 fn:doc :TXNODE . :RDFXML gspec:rdfParse :G . :TXDOC log:uri run:_g25; grddl:transformationProperty :TP . } log:implies {:R :TP :G . } . [by erasure from step 9] 29: ... [by rule from step 28 applied to steps [25, 26, 27] with bindings {'TXDOC': '', '_g_L111C11': '"http....xsl"', 'G': '{6b050dcf-7ab1-456d-9e1b-c3c41c18eed2 dc:title "Are ...ced?"}', 'TP': '[...]', 'R': '', 'RDFXML': '[...]', 'TXNODE': ''}] 30: @forSome :_g24, g:_g6 . g:_g6 :_g24 { "Are You Experienced?" . } . [by erasure from step 29] 31: @forAll :G, :IR, :R, :TP . { @forSome run:_g26, run:_g27 . run:_g26 fn:doc :R . run:_g27 grddl:transformationProperty :TP . :IR log:uri run:_g26 . :R grddl:transformation run:_g27; :TP :G . } log:implies {:IR grddl:result :G . } . [by erasure from step 9] 32: ... [by rule from step 31 applied to steps [1, 12, 23, 24, 30] with bindings {'_g_L24C13': '"http...html"', '_g_L25C25': '', 'G': '{6b050dcf-7ab1-456d-9e1b-c3c41c18eed2 dc:title "Are ...ced?"}', 'IR': '', 'TP': '[...]', 'R': ''}] 33: :result { "Are You Experienced?" . } . [by erasure from step 32] 34: @forAll :G . { grddl:result :G . } log:implies { grddl:result :G . } . [by parsing ] 35: @forAll :G . { grddl:result :G . } log:implies { grddl:result :G . } . [by erasure from step 34] 36: :result { "Are You Experienced?" . } . [by rule from step 35 applied to steps [33] with bindings {'G': '{6b050dcf-7ab1-456d-9e1b-c3c41c18eed2 dc:title "Are ...ced?"}'}] 37: :uri "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" . [by built-in Axiom log:uri] 38: ( "glean_title.xsl" "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" ) :member "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" . [by built-in Axiom list:member] 39: ( "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" ) :resolve-uri "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" . [by built-in Axiom fn:resolve-uri] 40: :uri "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" . [by built-in Axiom log:uri] 41: @forSome :_g28, :_g29, g:_g6 . ( g:_g6 "/*" ) gspec:xpath :_g28 . ( g:_g6 """/*/@*[local-name()="transformation" and namespace-uri()= "http://www.w3.org/2003/g/data-view#"]""" ) gspec:xpath :_g29 . :_g28 fn:base-uri "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" . :_g29 fn:string """glean_title.xsl http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl""" . [by erasure from step 7] 42: @forAll :BASE, :E, :N, :REF, :TX, :TXURI, :V, :Vnorm . { @forSome run:_g30, run:_g31 . ( :N "/*" ) gspec:xpath :E . ( :N """/*/@*[local-name()="transformation" and namespace-uri()= "http://www.w3.org/2003/g/data-view#"]""" ) gspec:xpath run:_g30 . ( :REF :BASE ) fn:resolve-uri :TXURI . ( :Vnorm "[ \t\r\n]+" ) fn:tokenize run:_g31 . run:_g30 fn:string :V . run:_g31 list:member :REF . :E fn:base-uri :BASE . :TX log:uri :TXURI . :V fn:normalize-space :Vnorm . } log:implies {:N grddl:transformation :TX . } . [by erasure from step 9] 43: ... [by rule from step 42 applied to steps [2, 3, 38, 39, 40, 41] with bindings {'E': '[...]', 'TX': '', '_g_L14C16': '[...]', 'TXURI': '"http....xsl"', 'N': '', 'Vnorm': '"glea....xsl"', 'BASE': '"http...html"', 'V': '"glea....xsl"', '_g_L16C35': '?', 'REF': '"http....xsl"'}] 44: @forSome :_g6 . :_g6 grddl:transformation . [by erasure from step 43] 45: :Transformation owl:onProperty :transformationProperty; owl:someValuesFrom :TransformationProperty . [by erasure from step 13] 46: :transformation s:range :Transformation . [by erasure from step 13] 47: @forSome :_g6 . :_g6 grddl:transformation . [by erasure from step 43] 48: @forAll :C, :O . { @forSome run:_g32, run:_g33 . run:_g32 run:_g33 :O . run:_g33 s:range :C . } log:implies {:O a :C . } . [by erasure from step 17] 49: ... [by rule from step 48 applied to steps [46, 47] with bindings {'C': '', '_g_L2C6': '', '_g_L2C3': '', 'O': ''}] 50: a :Transformation . [by erasure from step 49] 51: @forAll :C, :P, :S . { @forSome run:_g34 . run:_g34 owl:onProperty :P; owl:someValuesFrom :C . :S a run:_g34 . } log:implies { @forSome run:_g35 . run:_g35 a :C . :S :P run:_g35 . } . [by erasure from step 17] 52: ... [by rule from step 51 applied to steps [45, 50] with bindings {'P': '', 'C': '', '_g_L3C8': '', 'S': ''}] 53: @forSome :_g36 . grddl:transformationProperty :_g36 . [by erasure from step 52] 54: :uri "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" . [by built-in Axiom log:uri] 55: @forSome :_g36 . grddl:transformationProperty :_g36 . [by erasure from step 52] 56: @forSome :_g0, :_g6 . "http://www.w3.org/2001/sw/grddl-wg/td/getAuthor.xsl" fn:doc :_g0 . ( :_g0 :_g6 ) gspec:resultTree [ gspec:rdfParse { . a ; "The Jimi Hendrix Experience" . } ] . [by erasure from step 7] 57: @forAll :G, :R, :RDFXML, :TP, :TXDOC, :TXNODE . { @forSome run:_g25 . ( :TXNODE :R ) gspec:resultTree :RDFXML . run:_g25 fn:doc :TXNODE . :RDFXML gspec:rdfParse :G . :TXDOC log:uri run:_g25; grddl:transformationProperty :TP . } log:implies {:R :TP :G . } . [by erasure from step 9] 58: ... [by rule from step 57 applied to steps [54, 55, 56] with bindings {'TXDOC': '', '_g_L111C11': '"http....xsl"', 'G': '{3}', 'TP': '[...]', 'R': '', 'RDFXML': '[...]', 'TXNODE': ''}] 59: @forSome :_g36, g:_g6 . g:_g6 :_g36 { . a ; "The Jimi Hendrix Experience" . } . [by erasure from step 58] 60: @forSome :_g6 . "http://www.w3.org/2001/sw/grddl-wg/td/titleauthor.html" fn:doc :_g6 . [by erasure from step 7] 61: @forAll :G, :IR, :R, :TP . { @forSome run:_g26, run:_g27 . run:_g26 fn:doc :R . run:_g27 grddl:transformationProperty :TP . :IR log:uri run:_g26 . :R grddl:transformation run:_g27; :TP :G . } log:implies {:IR grddl:result :G . } . [by erasure from step 9] 62: ... [by rule from step 61 applied to steps [37, 44, 53, 59, 60] with bindings {'_g_L24C13': '"http...html"', '_g_L25C25': '', 'G': '{3}', 'IR': '', 'TP': '[...]', 'R': ''}] 63: :result { . a ; "The Jimi Hendrix Experience" . } . [by erasure from step 62] 64: @forAll :G . { grddl:result :G . } log:implies { grddl:result :G . } . [by erasure from step 34] 65: :result { . a ; "The Jimi Hendrix Experience" . } . [by rule from step 64 applied to steps [63] with bindings {'G': '{3}'}] 66: ( { . a ; "The Jimi Hendrix Experience" . } { "Are You Experienced?" . } ) :conjunction { "Are You Experienced?"; . a ; "The Jimi Hendrix Experience" . } . [by built-in Axiom log:conjunction] 67: :result { "Are You Experienced?" . } . [by erasure from step 32] 68: :result { . a ; "The Jimi Hendrix Experience" . } . [by erasure from step 62] 69: @forAll :F, :G, :H, :IR . { ( :F :G ) log:conjunction :H . :IR grddl:result :F, :G . } log:implies {:IR grddl:result :H . } . [by erasure from step 9] 70: ... [by rule from step 69 applied to steps [66, 67, 68] with bindings {'H': '{4}', 'IR': '', 'G': '{6b050dcf-7ab1-456d-9e1b-c3c41c18eed2 dc:title "Are ...ced?"}', 'F': '{3}'}] 71: :result { "Are You Experienced?"; . a ; "The Jimi Hendrix Experience" . } . [by erasure from step 70] 72: @forAll :G . { grddl:result :G . } log:implies { grddl:result :G . } . [by erasure from step 34] 73: :result { "Are You Experienced?"; . a ; "The Jimi Hendrix Experience" . } . [by rule from step 72 applied to steps [71] with bindings {'G': '{4}'}] 74: :result { "Are You Experienced?" . }, { . a ; "The Jimi Hendrix Experience" . }, { "Are You Experienced?"; . a ; "The Jimi Hendrix Experience" . } . [by conjoining steps [36, 65, 73]] @prefix : . :result { "Are You Experienced?" . }, { . a ; "The Jimi Hendrix Experience" . }, { "Are You Experienced?"; . a ; "The Jimi Hendrix Experience" . } .