*/
@Override
public ValidityReport validate() {
checkOpen();
prepare();
StandardValidityReport report = new StandardValidityReport();
kb.setDoExplanation( true );
boolean consistent = kb.isConsistent();
kb.setDoExplanation( false );
if( !consistent ) {
report.add( true, "KB is inconsistent!", kb.getExplanation() );
}
else {
for( ATermAppl c : kb.getUnsatisfiableClasses() ) {
String name = JenaUtils.makeGraphNode( c ).toString();
report.add( false, "Unsatisfiable class", name );
}
}
return report;
}