detail store bases graal structural existential more basic forward dedicated describe interfaces report features import algorithms rewriting composed expressed kinds format properties ontology that decidability some parser generic textual knowledge query data chaining techniques analysis following experiments consider rule toolkit various ontological answering files rely layer provides framework rules main which original java