@prefix d: . @prefix : . @prefix s: . @prefix owl: . @keywords is, of, a. @prefix log: . @prefix fn: . @prefix xslt: . @prefix rdfx: . # move to schema/namespace doc d:txprop s:range TransformProperty. TransformProperty s:subClassOf owl:FunctionalProperty, [ owl:onProperty s:domain; owl:hasValue Node ], [ owl:onProperty s:range; owl:hasValue Graph ]. rdfx:graph s:range Graph. d:transformation s:range Transformation. Transformation s:subClassOf [ owl:onProperty d:txprop; owl:someValuesFrom TransformProperty ]. Transformation s:subClassOf InformationResource. d:transformation s:domain Node; s:range Transformation. d:profileTransformation s:range Transformation. d:namespaceTransformation s:range Transformation. d:result s:domain InformationResource; s:range Graph. profile s:domain InformationResource. namespace s:domain InformationResource. { ?IR log:uri ?I; uridoc ?N } => { ?I fn:doc ?N }. # this is in the spec, no? { ?IR log:uri [ fn:doc ?N ]. ?N d:transformation ?TX. ?TX d:txprop ?TXP . } => { ?IR d:result [ is ?TXP of ?N ] }. # assume transformations are XSLT { ?TXDOC log:uri [ fn:doc ?TXNODE ]; d:txprop ?TXP. ?IR log:uri [ fn:doc ?N ]. ?N d:transformation ?TXDOC. ?N ?TXP ?G } => { (?TXNODE ?N) xslt:resultTree [ rdfx:graph ?G ] }. # assume transformations have XML representations { [] d:transformation ?TXDOC. ?TXDOC log:uri ?I } => { ?I fn:doc [] }. # relationships to show in diagrams. { ?IR log:uri [ fn:doc [ d:transformation ?TX ]] } => { ?IR udoctrans ?TX }. udoctrans s:domain SourceDocument. { ?IR log:uri [ fn:doc [ d:transformation [ d:txprop ?P ]]] } => { ?IR inputOf ?P }. { ?TXDOC d:txprop ?P; log:uri [ fn:doc ?TXNODE ]. ?IR log:uri [ fn:doc ?R ]. ?R d:transformation ?TXDOC. ( ?TXNODE ?R ) xslt:resultTree [ rdfx:graph ?G ] } => { ?P output ?G }. { ?IR d:result ?F, ?G. [] output ?F. [] output ?G. ?F log:notEqualTo ?G. } => { ?IR mergeresult [ ] }. { ?IR d:result ?G; mergeresult ?F. [] output ?G } => { ?G mergepart ?F }. udoctrans s:subPropertyOf effectiveTransformation. implicitTransformation s:subPropertyOf effectiveTransformation. { ?DOC namespace [ d:namespaceTransformation ?TX ] } => { ?DOC implicitTransformation ?TX }. { ?DOC profile [ d:profileTransformation ?TX ] } => { ?DOC implicitTransformation ?TX }. { ?DOC log:uri [ fn:doc ?N ]; namespace [ d:namespaceTransformation ?TX ] } => { ?N d:transformation ?TX }. { ?DOC log:uri [ fn:doc ?N ]; profile [ d:profileTransformation ?TX ] } => { ?N d:transformation ?TX }. ########## { ?S [ s:domain ?C ] [] } => { ?S a ?C }. { [] [ s:range ?C ] ?O } => { ?O a ?C }. { ?S a [ s:subClassOf ?C ] } => { ?S a ?C }. { ?S [ s:subPropertyOf ?P ] ?O } => { ?S ?P ?O. }. { ?S a [ owl:onProperty ?P; owl:hasValue ?V ] } => { ?S ?P ?V }. { ?S a [ owl:onProperty ?P; owl:someValuesFrom ?C ] } => { ?S ?P [ a ?C ] }. ########## ########## @prefix g: . <> g:digraph :theGraph. :theGraph g:rankdir "LR"; g:ranksep "0.4"; g:nodesep "0.1"; g:fontsize "10". { ?X a [ classShape ?TXT ] } => { ?X g:shape ?TXT }. { ?X a [ classLabel ?TXT ] } => { ?X g:label ?TXT }. TransformProperty s:subClassOf BlankLabel. BlankLabel owl:onProperty g:label; owl:hasValue "". ########## { ?D a InformationResource } => { :theGraph g:hasNode ?D }. { :theGraph g:hasNode [ [ a g:EdgeProperty ] ?N2 ] } => { :theGraph g:hasNode ?N2 }. { :theGraph g:hasNode [ is [ a g:EdgeProperty ] of ?N2 ] } => { :theGraph g:hasNode ?N2 }. { :theGraph g:hasNode ?D. ?D effectiveTransformation ?T } => { :theGraph g:hasNode ?T }. { :theGraph g:hasNode ?D. ?D profile ?P } => { :theGraph g:hasNode ?P }. { :theGraph g:hasNode ?D. ?D namespace ?P } => { :theGraph g:hasNode ?P }. { :theGraph g:hasNode ?D. ?D dest ?F } => { :theGraph g:hasNode ?F }. { :theGraph g:hasNode ?F. ?D dest ?F } => { :theGraph g:hasNode ?D }. { ?X a Foreground } => { :theGraph g:hasNode ?X }. { { ?G g:hasNode ?D. ?D mergeresult ?INFO } => { ?G g:subgraph [ is cluster of ?INFO; g:hasNode ?INFO; ] }. { ?INFO cluster ?C; part ?FMLA } => { ?C g:hasNode ?FMLA }. } a DeadCode. # relies on subgraph support in rdf2dot.py { [] g:hasNode ?N } => { ?N g:fontsize "12" }. { ?P a g:EdgeProperty } => { ?P g:fontsize "11" }. d:txprop a g:EdgeProperty; g:label "tx. prop"; g:style "dotted". inputOf a g:EdgeProperty; g:label ""; g:style "bold". mergeresult s:range Graph. mergeresult a g:EdgeProperty; g:label "result"; g:style "bold". mergepart a g:EdgeProperty; g:label "subgraph". output a g:EdgeProperty; g:label "result"; g:style "bold". udoctrans a g:EdgeProperty; g:label "transformation". profile a g:EdgeProperty; g:label "profile". namespace a g:EdgeProperty; g:label "namespace". #implicitTransformation a g:EdgeProperty; g:label "transformation"; g:style "dotted". d:profileTransformation a g:EdgeProperty; g:label "profileTransformation". d:namespaceTransformation a g:EdgeProperty; g:label "namespaceTransformation". owl:FunctionalProperty classShape "point". Transformation classShape "parallelogram". SourceDocument classShape "Msquare". Information classShape "point"; s:subClassOf BlankLabel. Graph classShape "invtrapezium"; classLabel "RDF". FunctionApplication classShape "point"; s:subClassOf BlankLabel. g:label "\\n"; g:fontname "Courier". g:label "doc.html". g:label "home.html". g:label "grokFoaf.xsl". g:label "grokCC.xsl". g:label "grokGeoURL.xsl". g:label "dc-extract.xsl". g:label "home2rss.xsl". g:label "friends.html". g:label "xfn profile". g:label "XFN profile". g:label "grokXFN.xsl". g:label "policy.p3q". g:label "p3q-ns-example". g:label "grokP3Q.xsl". g:label "po-doc.xml". g:label "po-ex". g:label "embeddedRDF.xsl". g:label "grokPO.xsl". g:label "grokRDDL.xsl".