@Override public void ontTest( OntModel m ) { Profile prof = m.getProfile(); OntProperty p = m.createObjectProperty( NS + "p" ); MaxCardinalityRestriction A = m.createMaxCardinalityRestriction( NS + "A", p, 3 ); assertEquals( "Restriction should be max cardinality 3", 3, A.getMaxCardinality() ); assertTrue( "Restriction should be max cardinality 3", A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should not be max cardinality 2", !A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 1 ", 1, A.getCardinality( prof.MAX_CARDINALITY() )); A.setMaxCardinality( 2 ); assertEquals( "Restriction should be max cardinality 2", 2, A.getMaxCardinality() ); assertTrue( "Restriction should not be max cardinality 3", !A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should be max cardinality 2", A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 1 ", 1, A.getCardinality( prof.MAX_CARDINALITY() )); A.removeMaxCardinality( 2 ); assertTrue( "Restriction should not be cardinality 3", !A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should not be cardinality 2", !A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 0 ", 0, A.getCardinality( prof.MAX_CARDINALITY() )); } },
@Override public void ontTest( OntModel m ) { Profile prof = m.getProfile(); OntProperty p = m.createObjectProperty( NS + "p" ); MaxCardinalityRestriction A = m.createMaxCardinalityRestriction( NS + "A", p, 3 ); assertEquals( "Restriction should be max cardinality 3", 3, A.getMaxCardinality() ); assertTrue( "Restriction should be max cardinality 3", A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should not be max cardinality 2", !A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 1 ", 1, A.getCardinality( prof.MAX_CARDINALITY() )); A.setMaxCardinality( 2 ); assertEquals( "Restriction should be max cardinality 2", 2, A.getMaxCardinality() ); assertTrue( "Restriction should not be max cardinality 3", !A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should be max cardinality 2", A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 1 ", 1, A.getCardinality( prof.MAX_CARDINALITY() )); A.removeMaxCardinality( 2 ); assertTrue( "Restriction should not be cardinality 3", !A.hasMaxCardinality( 3 ) ); assertTrue( "Restriction should not be cardinality 2", !A.hasMaxCardinality( 2 ) ); assertEquals( "cardinality should be 0 ", 0, A.getCardinality( prof.MAX_CARDINALITY() )); } },