public static ATermAppl hasValue(ATermAppl r, ATermAppl ind) { return ATermUtils.makeHasValue( r, ind ); }
public static ATermAppl hasValue(ATermAppl r, ATermAppl ind) { return ATermUtils.makeHasValue( r, ind ); }
@Override public void visit(OWLDataHasValue restriction) { restriction.getProperty().accept( this ); ATermAppl p = term; restriction.getValue().accept( this ); ATermAppl dv = term; term = ATermUtils.makeHasValue( p, dv ); }
public void visit(OWLObjectHasValue restriction) { restriction.getProperty().accept( this ); ATerm p = term; restriction.getValue().accept( this ); ATermAppl ind = term; term = ATermUtils.makeHasValue( p, ind ); }
@Override public void visit(OWLObjectHasValue restriction) { restriction.getProperty().accept( this ); ATerm p = term; restriction.getValue().accept( this ); ATermAppl ind = term; term = ATermUtils.makeHasValue( p, ind ); }
public void visit(OWLDataHasValue restriction) { restriction.getProperty().accept( this ); ATermAppl p = term; restriction.getValue().accept( this ); ATermAppl dv = term; term = ATermUtils.makeHasValue( p, dv ); }
ATermAppl C = ATermUtils.makeNot( ATermUtils.makeHasValue( p, o ) );
ATermAppl C = ATermUtils.makeNot( ATermUtils.makeHasValue( p, o ) );
ATermAppl c = ATermUtils.normalize( ATermUtils.makeHasValue( r, litValue ) );
ATermAppl c = ATermUtils.normalize( ATermUtils.makeHasValue( r, litValue ) );
ATermAppl valueX = ATermUtils.makeHasValue( role.getInverse().getName(), x ); ATermAppl c = ATermUtils.normalize( valueX );
ATermAppl valueX = ATermUtils.makeHasValue( role.getInverse().getName(), x ); ATermAppl c = ATermUtils.normalize( valueX );
ATermAppl hasValue = ATermUtils.makeHasValue( role.getName(), literalValue ); if( isType( s, hasValue ) ) { values.add( literalValue );
ATermAppl hasValue = ATermUtils.makeHasValue( role.getName(), literalValue ); if( isType( s, hasValue ) ) { values.add( literalValue );
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; }
test = ATermUtils.makeOr( ATermUtils.makeAnd( ATermUtils.makeHasValue( p1, anon ), ATermUtils.makeAllValues( p2, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) ) ), ATermUtils.makeAnd( ATermUtils.makeHasValue( p2, anon ), ATermUtils.makeAllValues( p1, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) )
test = ATermUtils.makeOr( ATermUtils.makeAnd( ATermUtils.makeHasValue( p1, anon ), ATermUtils.makeAllValues( p2, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) ) ), ATermUtils.makeAnd( ATermUtils.makeHasValue( p2, anon ), ATermUtils.makeAllValues( p1, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) )
ATermAppl anon = ATermUtils .makeLiteral( ATermUtils.makeAnonNominal( Integer.MAX_VALUE ) ); test = ATermUtils.makeAnd( ATermUtils.makeHasValue( sub, anon ), ATermUtils .makeAllValues( sup, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) ) );
ATermAppl anon = ATermUtils .makeLiteral( ATermUtils.makeAnonNominal( Integer.MAX_VALUE ) ); test = ATermUtils.makeAnd( ATermUtils.makeHasValue( sub, anon ), ATermUtils .makeAllValues( sup, ATermUtils.makeNot( ATermUtils.makeValue( anon ) ) ) );