public static ATermAppl min(ATermAppl r, int n, ATermAppl c) { return ATermUtils.makeMin( r, n, c ); }
public static ATermAppl min(ATermAppl r, int n, ATermAppl c) { return ATermUtils.makeMin( r, n, c ); }
final static public ATermAppl makeMin(ATerm r, int n, ATerm c) { // comment out built-in simplification so that explanation // axioms will come out right // if( n == 0 ) // return ATermUtils.TOP; return makeMin( r, factory.makeInt( n ), c ); }
final static public ATermAppl makeMin(ATerm r, int n, ATerm c) { // comment out built-in simplification so that explanation // axioms will come out right // if( n == 0 ) // return ATermUtils.TOP; return makeMin( r, factory.makeInt( n ), c ); }
final static public ATermAppl makeNormalizedMax(ATermAppl r, int n, ATermAppl c) { assertTrue( n >= 0 ); return makeNot( makeMin( r, n + 1, c ) ); }
final static public ATermAppl makeNormalizedMax(ATermAppl r, int n, ATermAppl c) { assertTrue( n >= 0 ); return makeNot( makeMin( r, n + 1, 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(OWLDataMinCardinality restriction) { restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMin( p, n, desc ); }
public void visit(OWLDataMinCardinality restriction) { restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMin( p, n, desc ); }
public boolean hasPropertyValue(ATermAppl s, ATermAppl p, ATermAppl o) { Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); if( hasObviousValue.isKnown() ) { if( hasObviousValue.isFalse() || !doExplanation() ) { return hasObviousValue.isTrue(); } } ATermAppl c = null; if( o == null ) { if( kb.isDatatypeProperty( p ) ) { c = ATermUtils.makeMin( p, 1, ATermUtils.TOP_LIT ); } else { c = ATermUtils.makeMin( p, 1, ATermUtils.TOP ); } } else { c = ATermUtils.makeHasValue( p, o ); } boolean isType = isType( s, c ); return isType; }
public boolean hasPropertyValue(ATermAppl s, ATermAppl p, ATermAppl o) { Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); if( hasObviousValue.isKnown() ) { if( hasObviousValue.isFalse() || !doExplanation() ) { return hasObviousValue.isTrue(); } } ATermAppl c = null; if( o == null ) { if( kb.isDatatypeProperty( p ) ) { c = ATermUtils.makeMin( p, 1, ATermUtils.TOP_LIT ); } else { c = ATermUtils.makeMin( p, 1, ATermUtils.TOP ); } } else { c = ATermUtils.makeHasValue( p, o ); } boolean isType = isType( s, c ); return isType; }
public void visit(OWLObjectMinCardinality restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMin( p, n, desc ); }
@Override public void visit(OWLObjectMinCardinality restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATerm p = term; int n = restriction.getCardinality(); restriction.getFiller().accept( this ); ATermAppl desc = term; term = ATermUtils.makeMin( p, n, desc ); }
public boolean isFunctionalProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if(role.isAnnotationRole()) return false; if( role.isBottom() ) { if ( doExplanation() ) abox.setExplanation( DependencySet.INDEPENDENT ); return true; } else if( role.isFunctional() ) { if( doExplanation() ) abox.setExplanation( role.getExplainFunctional() ); return true; } else if( !role.isSimple() ) return false; ATermAppl min2P = role.isDatatypeRole() ? ATermUtils.makeMin( p, 2, ATermUtils.TOP_LIT ) : ATermUtils.makeMin( p, 2, ATermUtils.TOP ); return !isSatisfiable( min2P ); }
public boolean isFunctionalProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if(role.isAnnotationRole()) return false; if( role.isBottom() ) { if ( doExplanation() ) abox.setExplanation( DependencySet.INDEPENDENT ); return true; } else if( role.isFunctional() ) { if( doExplanation() ) abox.setExplanation( role.getExplainFunctional() ); return true; } else if( !role.isSimple() ) return false; ATermAppl min2P = role.isDatatypeRole() ? ATermUtils.makeMin( p, 2, ATermUtils.TOP_LIT ) : ATermUtils.makeMin( p, 2, ATermUtils.TOP ); return !isSatisfiable( min2P ); }
norm = normalize( makeNot( makeMin( arg1, ((ATermInt) arg2).getInt() + 1, arg3 ) ) ); norm = simplify( makeMin( arg1, (ATermInt) arg2, normalize( (ATermAppl) arg3 ) ) ); ATermAppl normMin = simplify( makeMin( arg1, ((ATermInt) arg2).getInt(), normalize( (ATermAppl) arg3 ) ) ); ATermAppl normMax = normalize( makeMax( arg1, ((ATermInt) arg2).getInt(), arg3 ) );
return ATermUtils.makeMin( pt, cardinality, c ); else if( restrictionType.equals( OWL.maxCardinality.asNode() ) || restrictionType.equals( OWL2.maxQualifiedCardinality.asNode() ) )
strategy.addType( ind, ATermUtils.makeMin(r.getName(), n, qualification), ds);
strategy.addType( ind, ATermUtils.makeMin(r.getName(), n, qualification), ds);