public void applyDomainRange(final Individual subj, final Role pred, final Node obj, final DependencySet ds) { final Set<ATermAppl> domains = pred.getDomains(); final Set<ATermAppl> ranges = pred.getRanges(); for (final ATermAppl domain : domains) { if (_logger.isLoggable(Level.FINE) && !subj.hasType(domain)) _logger.fine("DOM : " + obj + " <- " + pred + " <- " + subj + " : " + ATermUtils.toString(domain)); addType(subj, domain, ds.union(pred.getExplainDomain(domain), _abox.doExplanation())); if (subj.isPruned() || obj.isPruned()) return; } for (final ATermAppl range : ranges) { if (_logger.isLoggable(Level.FINE) && !obj.hasType(range)) _logger.fine("RAN : " + subj + " -> " + pred + " -> " + obj + " : " + ATermUtils.toString(range)); addType(obj, range, ds.union(pred.getExplainRange(range), _abox.doExplanation())); if (subj.isPruned() || obj.isPruned()) return; } }
public void applyDomainRange(final Individual subj, final Role pred, final Node obj, final DependencySet ds) { final Set<ATermAppl> domains = pred.getDomains(); final Set<ATermAppl> ranges = pred.getRanges(); for (final ATermAppl domain : domains) { if (_logger.isLoggable(Level.FINE) && !subj.hasType(domain)) _logger.fine("DOM : " + obj + " <- " + pred + " <- " + subj + " : " + ATermUtils.toString(domain)); addType(subj, domain, ds.union(pred.getExplainDomain(domain), _abox.doExplanation())); if (subj.isPruned() || obj.isPruned()) return; } for (final ATermAppl range : ranges) { if (_logger.isLoggable(Level.FINE) && !obj.hasType(range)) _logger.fine("RAN : " + subj + " -> " + pred + " -> " + obj + " : " + ATermUtils.toString(range)); addType(obj, range, ds.union(pred.getExplainRange(range), _abox.doExplanation())); if (subj.isPruned() || obj.isPruned()) return; } }
ds = ds.union(role.getExplainRange(dataRange), _strategy.getABox().doExplanation()); rangeDepends.put(r, ds);
ds = ds.union(role.getExplainRange(dataRange), _strategy.getABox().doExplanation()); rangeDepends.put(r, ds);
public void applyUniversalRestrictions(final Individual node) { addType(node, ATermUtils.TOP, DependencySet.INDEPENDENT); final Set<Role> reflexives = _abox.getKB().getRBox().getReflexiveRoles(); for (final Role r : reflexives) { _logger.fine(() -> "REF : " + node + " " + r); addEdge(node, r, node, r.getExplainReflexive()); if (node.isMerged()) return; } final Role topObjProp = _abox.getKB().getRole(ATermUtils.TOP_OBJECT_PROPERTY); for (final ATermAppl domain : topObjProp.getDomains()) { addType(node, domain, topObjProp.getExplainDomain(domain)); if (node.isMerged()) continue; } for (final ATermAppl range : topObjProp.getRanges()) { addType(node, range, topObjProp.getExplainRange(range)); if (node.isMerged()) continue; } }
public void applyUniversalRestrictions(final Individual node) { addType(node, ATermUtils.TOP, DependencySet.INDEPENDENT); final Set<Role> reflexives = _abox.getKB().getRBox().getReflexiveRoles(); for (final Role r : reflexives) { _logger.fine(() -> "REF : " + node + " " + r); addEdge(node, r, node, r.getExplainReflexive()); if (node.isMerged()) return; } final Role topObjProp = _abox.getKB().getRole(ATermUtils.TOP_OBJECT_PROPERTY); for (final ATermAppl domain : topObjProp.getDomains()) { addType(node, domain, topObjProp.getExplainDomain(domain)); if (node.isMerged()) continue; } for (final ATermAppl range : topObjProp.getRanges()) { addType(node, range, topObjProp.getExplainRange(range)); if (node.isMerged()) continue; } }
addType(node, range, ds.union(DependencySet.EMPTY, _abox.doExplanation())); else addType(node, range, ds.union(pred.getExplainRange(range), _abox.doExplanation()));
addType(node, range, ds.union(DependencySet.EMPTY, _abox.doExplanation())); else addType(node, range, ds.union(pred.getExplainRange(range), _abox.doExplanation()));