; call RacerPro -owl winmove-graph1.rdf -q graph.racer
(full-reset)
(owl-read-file "winmove-axioms.rdf" :kb-name winmove)
(owl-read-file "winmove-graph1.rdf" :kb-name winmove :init nil)
(retrieve (?x) (?x |foo://bla#DeadEndNode|))