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