日々の流転

λ. Rena (3)

パーサのテストケースを書くために、RDF/XMLとNTriplesで書いた二つのファイルを読み込んで、両者のモデルが等しいことを確かめたい。が、Blank Nodes の対応をとるのが結構面倒くさいのだ。何かいい方法はないものか。

……最大のbisimulationを同値関係として使ってしまうか。ちょっと強すぎるかも知れないけど、どうせテストなんだから細かいことは気にしない、ウヒヒ。とはいっても一からコード書くのは面倒だな。せっかく、hyperset.rbを書いたのだから、以下のようにして集合に落として、集合の等しさに問題を還元しよう。よし、うまくいった。

• eval(model) = { <f(model, s.subject), s.predicate, f(model, s.object)> | s∈model }
• f(model,n) = { <true, s.predicate, f(model, s.object)> | s∈model, s.subject=n } ∪ { <false, s.predicate, f(model, s.subject)> | s∈model, s.object=n } (if n is a blank node)
• f(model,n) = n (otherwise)
• <a,b,c> = {{a}, {a,b}, {a,b,c}}

λ. 読書

『 ふしぎ遊戯 4』

『 ふしぎ遊戯 5』

『 ふしぎ遊戯 6』

渡瀬 悠宇 [著]