On 29/09/12 16:20, Mark Fischer wrote:
Is there some way in which I can attach a reasoning engine to a model and
convince it to
not do any inferencing? I don't want any of the added triplets.
Not sure I follow.
If you attach a reasoner to a model then the model is not changed. When
you query the InfModel (or equivalently OntModel) then inferences will
be done to answer that query. This is typically a mix of forward
inferences (all of which will be created as soon as you ask the first
query) and backward inferences (which will be elaborated only on demand).
Validation is in effect a set of queries (in fact a set of backward
rules and query to trigger those rules).
Having done the validation you can discard the InfModel and still keep
the base model around.
I'm well aware that calling validate() on such a model would not give me a
complete set of
reports but I'm convinced it would give me the information I'm interested
in without bloating
my database/triplet store.
Ideally I'd like to be able to control which types are inferencing are
allowed.
To get full control then use the generic rules engine [1] and create
your own rules. The rules for the supplied configurations (default,
micro, mini) are all in the distribution so you can take those and edit
them down how you wish.
Dave
[1] http://jena.apache.org/documentation/inference/#rules