@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 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; }
final CachedNode cached = getCached(c); if (cached != null)
final CachedNode cached = getCached(c); if (cached != null)
private Bool isType(final CachedNode pNode, final ATermAppl c) { Bool isType = Bool.UNKNOWN; final boolean isPrimitive = _kb.getTBox().isPrimitive(c); if (isPrimitive && !pNode.isTop() && !pNode.isBottom() && pNode.isComplete()) { final DependencySet ds = pNode.getDepends().get(c); if (ds == null) return Bool.FALSE; else if (ds.isIndependent() && pNode.isIndependent()) return Bool.TRUE; } final ATermAppl notC = ATermUtils.negate(c); final CachedNode cached = getCached(notC); if (cached != null && cached.isComplete()) isType = _cache.isMergable(_kb, pNode, cached).not(); if (OpenlletOptions.CHECK_NOMINAL_EDGES && isType.isUnknown()) { final CachedNode cNode = getCached(c); if (cNode != null) isType = _cache.checkNominalEdges(_kb, pNode, cNode); } return isType; }
private Bool isType(final CachedNode pNode, final ATermAppl c) { Bool isType = Bool.UNKNOWN; final boolean isPrimitive = _kb.getTBox().isPrimitive(c); if (isPrimitive && !pNode.isTop() && !pNode.isBottom() && pNode.isComplete()) { final DependencySet ds = pNode.getDepends().get(c); if (ds == null) return Bool.FALSE; else if (ds.isIndependent() && pNode.isIndependent()) return Bool.TRUE; } final ATermAppl notC = ATermUtils.negate(c); final CachedNode cached = getCached(notC); if (cached != null && cached.isComplete()) isType = _cache.isMergable(_kb, pNode, cached).not(); if (OpenlletOptions.CHECK_NOMINAL_EDGES && isType.isUnknown()) { final CachedNode cNode = getCached(c); if (cNode != null) isType = _cache.checkNominalEdges(_kb, pNode, cNode); } return isType; }