Hi, I'm reading the Jena paper [1] (which is very nice and useful, BTW), where I found the following:
"Prior to this release, Jena used a heuristic method to attempt to associate restriction properties with the classes sub-classing that restriction. Since there were problems with precisely defining the heuristic, and ensuring correct behaviour (especially with inference models), we have dropped the use of this heuristic from Jena 2.2 onwards." Do I misinterpret the statement when I conclude that Jena API does underneath some reasoning independently on the existing reasoner embedding mechanism? Thanks, Milorad [1] http://jena.apache.org/documentation/notes/rdf-frames.html
