OntModel pellet = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, ont );
assertTrue( pellet.contains( x, p1, y ) );
assertTrue( pellet.contains( x, p1, z ) );
Restriction min = ont.createMinCardinalityRestriction( null, p1, 2 );
Restriction max = ont.createMaxCardinalityRestriction( null, p1, 3 );
Restriction card = ont.createCardinalityRestriction( null, p1, 2 );
Statement[] statements = new Statement[] {
ont.createStatement( p1, RDF.type, OWL.FunctionalProperty ),
ont.createStatement( p1, RDF.type, OWL.InverseFunctionalProperty ),
ont.createStatement( p1, RDF.type, OWL2.IrreflexiveProperty ),
ont.createStatement( p1, RDF.type, OWL2.AsymmetricProperty ),