final ATermAppl p = args.get(1); final ATermAppl o = args.get(2); return isIndividual(s, kb) && (ATermUtils.isVar(o) ? isProperty(p, kb) : ATermUtils.isLiteral(o) ? isDatatypeProperty(p, kb) : isObjectProperty(p, kb) && isIndividual(o, kb)); return isDatatypeProperty(args.get(0), kb); return isProperty(args.get(0), kb) && isClass(args.get(1), kb); case Range: return isObjectProperty(args.get(0), kb) && isClass(args.get(1), kb) || isDatatypeProperty(args.get(0), kb) && isDatatype(args.get(1), kb);
final ATermAppl p = args.get(1); final ATermAppl o = args.get(2); return isIndividual(s, kb) && (ATermUtils.isVar(o) ? isProperty(p, kb) : ATermUtils.isLiteral(o) ? isDatatypeProperty(p, kb) : isObjectProperty(p, kb) && isIndividual(o, kb)); return isDatatypeProperty(args.get(0), kb); return isProperty(args.get(0), kb) && isClass(args.get(1), kb); case Range: return isObjectProperty(args.get(0), kb) && isClass(args.get(1), kb) || isDatatypeProperty(args.get(0), kb) && isDatatype(args.get(1), kb);
final ATermAppl p = args.get(1); final ATermAppl o = args.get(2); return isIndividual(s, kb) && (ATermUtils.isVar(o) ? isProperty(p, kb) : ATermUtils.isLiteral(o) ? isDatatypeProperty(p, kb) : isObjectProperty(p, kb) && isIndividual(o, kb)); return isDatatypeProperty(args.get(0), kb); return isProperty(args.get(0), kb) && isClass(args.get(1), kb); case Range: return isObjectProperty(args.get(0), kb) && isClass(args.get(1), kb) || isDatatypeProperty(args.get(0), kb) && isDatatype(args.get(1), kb);