128129130131132133134135136137138
KnowledgeBase kb = reasoner.getKB(); if( classify ) { kb.setDoExplanation( true ); kb.ensureConsistency(); kb.setDoExplanation( false ); kb.realize(); } }
18291830183118321833183418351836183718381839
kb.addDatatypeProperty( q ); kb.addPropertyValue( p, a, b ); kb.addType( a, some( q, value( lit ) ) ); kb.ensureConsistency(); assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) ); kb.removePropertyValue( p, a, b );
18351836183718381839184018411842184318441845
assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) ); kb.removePropertyValue( p, a, b ); kb.ensureConsistency(); assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) ); } @Test
593594595596597598599600601602603
// } boolean querySatisfied; final KnowledgeBase kb = query.getKB(); kb.ensureConsistency(); // unless proven otherwise all (ground) triples are satisfied Bool allTriplesSatisfied = Bool.TRUE; for( final QueryAtom atom : query.getAtoms() ) {
134135136137138139140141142143144