} else if (rest.isMaxCardinalityRestriction()) { MaxCardinalityRestriction crest = (MaxCardinalityRestriction) rest.as(MaxCardinalityRestriction.class); results.add("at most "+crest.getMaxCardinality()); results.add(LAMBDA); } else if (rest.isCardinalityRestriction()) {
MaxCardinalityRestriction mcRest = rest.asMaxCardinalityRestriction(); labelStr.append("maximum cardinality "); labelStr.append(mcRest.getMaxCardinality()); } else if (rest.isCardinalityRestriction()) { CardinalityRestriction cRest = rest.asCardinalityRestriction();
@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() )); } },
MaxCardinalityRestriction mcRest = rest.asMaxCardinalityRestriction(); labelStr += "maximum cardinality "; labelStr += mcRest.getMaxCardinality(); } else if (rest.isCardinalityRestriction()) { CardinalityRestriction cRest = rest.asCardinalityRestriction();