@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createCardinalityRestriction( null, p, 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createMinCardinalityRestriction( null, p, 1 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createMaxCardinalityRestriction( null, p, 5 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createMaxCardinalityRestriction( null, p, 5 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createCardinalityRestriction( null, p, 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createMinCardinalityRestriction( null, p, 1 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createSomeValuesFromRestriction( null, p, b ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createAllValuesFromRestriction( null, p, b ); assertTrue( "all values from test not correct", a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createAllValuesFromRestriction( null, p, b ); assertTrue( "all values from test not correct", a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createSomeValuesFromRestriction( null, p, b ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToMaxCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToMinCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToMaxCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToMinCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); Individual x = m.createIndividual( b ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createHasValueRestriction( null, p, x ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); a = a.convertToCardinalityRestriction( 3 ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { OntClass b = m.createClass( NS + "B" ); Individual x = m.createIndividual( b ); ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createHasValueRestriction( null, p, x ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); OntClass b = m.createClass( NS + "B" ); a = a.convertToSomeValuesFromRestriction( b ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },
@Override public void ontTest( OntModel m ) { ObjectProperty p = m.createObjectProperty( NS + "p" ); Restriction a = m.createRestriction( p ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || !a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); OntClass b = m.createClass( NS + "B" ); Individual x = m.createIndividual( b ); a = a.convertToHasValueRestriction( x ); assertTrue( "all values from test not correct", !a.isAllValuesFromRestriction() ); assertTrue( "some values from test not correct", !a.isSomeValuesFromRestriction() ); assertTrue( "has value test not correct", m_owlLiteLang || a.isHasValueRestriction() ); assertTrue( "cardinality test not correct", !a.isCardinalityRestriction() ); assertTrue( "min cardinality test not correct", !a.isMinCardinalityRestriction() ); assertTrue( "max cardinality test not correct", !a.isMaxCardinalityRestriction() ); } },