public static ATermAppl max(ATermAppl r, int n, ATermAppl c) { return ATermUtils.makeMax( r, n, c ); }
public static ATermAppl max(ATermAppl r, int n, ATermAppl c) { return ATermUtils.makeMax( r, n, c ); }
final static public ATermAppl makeMax(ATerm r, int n, ATerm c) { // assertTrue( n >= 0 ); // This was causing nnf to come out wrong // return makeNot(makeMin(r, n + 1)); return makeMax( r, factory.makeInt( n ), c ); }
final static public ATermAppl makeMax(ATerm r, int n, ATerm c) { // assertTrue( n >= 0 ); // This was causing nnf to come out wrong // return makeNot(makeMin(r, n + 1)); return makeMax( r, factory.makeInt( n ), c ); }
final static public ATermAppl makeExactCard(ATerm r, ATermInt n, ATerm c) { ATermAppl max = makeMax( r, n, c ); if( n.getInt() == 0 ) { return max; } ATermAppl min = makeMin( r, n, c ); return makeAnd( min, max ); }
final static public ATermAppl makeExactCard(ATerm r, ATermInt n, ATerm c) { ATermAppl max = makeMax( r, n, c ); if( n.getInt() == 0 ) { return max; } ATermAppl min = makeMin( r, n, c ); return makeAnd( min, max ); }
@Override public void visit(OWLDataMaxCardinality restriction) { restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMax( p, n, desc ); }
public void visit(OWLDataMaxCardinality restriction) { restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMax( p, n, desc ); }
@Override public void visit(OWLObjectMaxCardinality restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMax( p, n, desc ); }
public void visit(OWLObjectMaxCardinality restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMax( p, n, desc ); }
ATermAppl normMin = simplify( makeMin( arg1, ((ATermInt) arg2).getInt(), normalize( (ATermAppl) arg3 ) ) ); ATermAppl normMax = normalize( makeMax( arg1, ((ATermInt) arg2).getInt(), arg3 ) ); norm = simplify( makeAnd( normMin, normMax ) );
ATermAppl normMin = simplify( makeMin( arg1, ((ATermInt) arg2).getInt(), normalize( (ATermAppl) arg3 ) ) ); ATermAppl normMax = normalize( makeMax( arg1, ((ATermInt) arg2).getInt(), arg3 ) ); norm = simplify( makeAnd( normMin, normMax ) );
public boolean isInverseFunctionalProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if( !role.isObjectRole() ) { return false; } else if( role.isInverseFunctional() || role.isBottom() ) { if( doExplanation() ) abox.setExplanation( role.getExplainInverseFunctional() ); return true; } ATermAppl invP = role.getInverse().getName(); ATermAppl max1invP = ATermUtils.makeMax( invP, 1, ATermUtils.TOP ); return isSubClassOf( ATermUtils.TOP, max1invP ); }
public boolean isInverseFunctionalProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if( !role.isObjectRole() ) { return false; } else if( role.isInverseFunctional() || role.isBottom() ) { if( doExplanation() ) abox.setExplanation( role.getExplainInverseFunctional() ); return true; } ATermAppl invP = role.getInverse().getName(); ATermAppl max1invP = ATermUtils.makeMax( invP, 1, ATermUtils.TOP ); return isSubClassOf( ATermUtils.TOP, max1invP ); }
newterm = ATermUtils.makeMax( arg.getArgument( 0 ), n.getInt() - 1, nnf( arg .getArgument( 2 ) ) );
newterm = ATermUtils.makeMax( arg.getArgument( 0 ), n.getInt() - 1, nnf( arg .getArgument( 2 ) ) );
else if( restrictionType.equals( OWL.maxCardinality.asNode() ) || restrictionType.equals( OWL2.maxQualifiedCardinality.asNode() ) ) return ATermUtils.makeMax( pt, cardinality, c ); else return ATermUtils.makeCard( pt, cardinality, c );
ATermAppl maxCon = ATermUtils.makeMax(this.r.getName(), this.n, this.qualification);
ATermAppl maxCon = ATermUtils.makeMax(this.r.getName(), this.n, this.qualification);
aTerm = ATermUtils.makeMax( pt, cardinality, c );