Can anybody point me toward any documentation for the various Jena reasoners? I'm using the Owl Ontology Model Spec OWL_MEM_RULE_INF. When I validate() and get a report, the type string and extension object are both reasoner dependant.
I'd like to know what the list of possible 'types' are. So far I've discovered through trial and error that the extension object seems to be a resource representing the '*culprit*' of the validation error/warning. I'm not sure, other then parsing the description, how I would gain access to '*implicated nodes'*, etc... This link: http://jena.apache.org/documentation/inference/ Is the closest I've come to documentation talking about the different model specs. -- Mark Fischer
