Reasoners, Datasets, Models

[Benson Margulies]

I want to make an InfModel that puts an inference engine on top of a
TDB dataset so that inference happens over the set. If this isn't a
nutty idea altogether, is there any way to do this without using the
assembler? And if not I fear I'll be asking for some assistance.