On 08/02/13 19:18, Rodrigo Jardim wrote:
Is there some way to discover which classes (or individuals) have been inferred? Maybe some method inside Jena API.
Not directly. Generally the best way to do this is to check whether a given statement is in the reasoned graph but not in the original graph. You can materialize this difference or use the dynamic difference support to create a difference model or put the two graphs in a dataset and use SPARQL to do the differencing.
For forward rules then the InfModels do maintain a separate deductions model so in that case there is an explicit separation of base and inferred triples. However, the built in RDFS/OWL rule sets make use of hybrid inference (some backward rules as well) so the materialized deductions model isn't enough.
Dave
