910911912913914915916917918919920
kb.addPropertyValue( p, a, b ); kb.removeType( b, C ); kb.removePropertyValue( p, a, b ); assertTrue( kb.isConsistent() ); assertFalse( kb.isType( b, C ) ); assertFalse( kb.hasPropertyValue( a, p, b ) ); }
909910911912913914915916917918919
18331834183518361837183818391840184118421843
kb.ensureConsistency(); assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) ); kb.removePropertyValue( p, a, b ); kb.ensureConsistency(); assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) ); }