@Override public Bool isKnownSubClassOf(final ATermAppl c1, final ATermAppl c2) { Bool isSubClassOf = Bool.UNKNOWN; final CachedNode cached = getCached(c1); if (cached != null) isSubClassOf = isType(cached, c2); return isSubClassOf; }
@Override public boolean isSameAs(final ATermAppl ind1, final ATermAppl ind2) { final ATermAppl c = ATermUtils.makeValue(ind2); return isType(ind1, c); }
@Override public boolean isSameAs(final ATermAppl ind1, final ATermAppl ind2) { final ATermAppl c = ATermUtils.makeValue(ind2); return isType(ind1, c); }
@Override public Bool isKnownSubClassOf(final ATermAppl c1, final ATermAppl c2) { Bool isSubClassOf = Bool.UNKNOWN; final CachedNode cached = getCached(c1); if (cached != null) isSubClassOf = isType(cached, c2); return isSubClassOf; }
if (isType(s, hasValue)) values.add(literalValue);
if (isType(s, hasValue)) values.add(literalValue);
@Override public Bool isKnownType(final Individual pNode, final ATermAppl concept, final Collection<ATermAppl> subs) Bool isType = isType(pNode, concept); if (isType.isUnknown())
@Override public boolean hasPropertyValue(final ATermAppl s, final ATermAppl p, final ATermAppl o) { final 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); final boolean isType = isType(s, c); return isType; }
@Override public Bool isKnownType(final Individual pNode, final ATermAppl concept, final Collection<ATermAppl> subs) Bool isType = isType(pNode, concept); if (isType.isUnknown())
@Override public boolean hasPropertyValue(final ATermAppl s, final ATermAppl p, final ATermAppl o) { final 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); final boolean isType = isType(s, c); return isType; }