private boolean add(final ATermAppl r1, final ATermAppl r2, final ATermAppl superRole) { MultiValueMap<ATermAppl, ATermAppl> innerMap = _binaryRoleInclusions.get(r1); if (innerMap == null) { innerMap = new MultiValueMap<>(); _binaryRoleInclusions.put(r1, innerMap); } return innerMap.add(r2, superRole); }
private boolean add(final ATermAppl r1, final ATermAppl r2, final ATermAppl superRole) { MultiValueMap<ATermAppl, ATermAppl> innerMap = _binaryRoleInclusions.get(r1); if (innerMap == null) { innerMap = new MultiValueMap<>(); _binaryRoleInclusions.put(r1, innerMap); } return innerMap.add(r2, superRole); }
private void processAdditions() { for (final OWLAxiom axiom : _additions) { _axioms.add(axiom); axiom.signature().forEach(entity -> { _entityAxioms.add(entity, axiom); if (entity instanceof OWLClass) { final OWLClass cls = (OWLClass) entity; if (_modules != null && !_modules.containsKey(cls)) _newClasses.add(cls); } }); } }
private void processAdditions() { for (final OWLAxiom axiom : _additions) { _axioms.add(axiom); axiom.signature().forEach(entity -> { _entityAxioms.add(entity, axiom); if (entity instanceof OWLClass) { final OWLClass cls = (OWLClass) entity; if (_modules != null && !_modules.containsKey(cls)) _newClasses.add(cls); } }); } }
@Override protected MultiValueMap<ATermAppl, ATermAppl> run(final Collection<ATermAppl> classes) { addClasses(classes); addClasses(_names.getAllAnons()); final Reasoner reasoner = new GenericRuleReasoner(new ArrayList<>(_rules)); final InfGraph inf = reasoner.bind(_facts); inf.prepare(); final MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf); for (final ATermAppl c : classes) subsumers.add(ATermUtils.BOTTOM, c); return subsumers; }
@Override protected MultiValueMap<ATermAppl, ATermAppl> run(final Collection<ATermAppl> classes) { addClasses(classes); addClasses(_names.getAllAnons()); final Reasoner reasoner = new GenericRuleReasoner(new ArrayList<>(_rules)); final InfGraph inf = reasoner.bind(_facts); inf.prepare(); final MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf); for (final ATermAppl c : classes) subsumers.add(ATermUtils.BOTTOM, c); return subsumers; }
@Override protected MultiValueMap<ATermAppl, ATermAppl> run(final Collection<ATermAppl> classes) { addClasses(classes); addClasses(_names.getAllAnons()); final Reasoner reasoner = new GenericRuleReasoner(new ArrayList<>(_rules)); final InfGraph inf = reasoner.bind(_facts); inf.prepare(); final MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf); for (final ATermAppl c : classes) subsumers.add(ATermUtils.BOTTOM, c); return subsumers; }
@Override public void addType(final ATermAppl i, final ATermAppl c) { if (null == i || null == c) return; if (AnnotationClasses.contains(c)) return; final ATermAppl typeAxiom = ATermUtils.makeTypeAtom(i, c); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(typeAxiom) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // _index if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _syntacticAssertions.add(typeAxiom); _dependencyIndex.addTypeDependency(i, c, ds); } if (OpenlletOptions.KEEP_ABOX_ASSERTIONS) _aboxAssertions.add(AssertionType.TYPE, typeAxiom); addType(i, c, ds); }
@Override public void addType(final ATermAppl i, final ATermAppl c) { if (null == i || null == c) return; if (AnnotationClasses.contains(c)) return; final ATermAppl typeAxiom = ATermUtils.makeTypeAtom(i, c); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(typeAxiom) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // _index if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _syntacticAssertions.add(typeAxiom); _dependencyIndex.addTypeDependency(i, c, ds); } if (OpenlletOptions.KEEP_ABOX_ASSERTIONS) _aboxAssertions.add(AssertionType.TYPE, typeAxiom); addType(i, c, ds); }
@Override public void visit(final OWLTransitiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getProperty()), axiom); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addTransitiveProperty(p); }
@Override public void visit(final OWLTransitiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getProperty()), axiom); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addTransitiveProperty(p); }
@Override public void visit(final OWLTransitiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getProperty()), axiom); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addTransitiveProperty(p); }
@Override public void visit(final OWLSubPropertyChainOfAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getSuperProperty()), axiom); axiom.getSuperProperty().accept(this); final ATermAppl prop = result(); final List<OWLObjectPropertyExpression> propChain = axiom.getPropertyChain(); ATermList chain = ATermUtils.EMPTY_LIST; for (int i = propChain.size() - 1; i >= 0; i--) { propChain.get(i).accept(this); chain = chain.insert(result()); } _kb.addSubProperty(chain, prop); }
@Override public void visit(final OWLSubPropertyChainOfAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getSuperProperty()), axiom); axiom.getSuperProperty().accept(this); final ATermAppl prop = result(); final List<OWLObjectPropertyExpression> propChain = axiom.getPropertyChain(); ATermList chain = ATermUtils.EMPTY_LIST; for (int i = propChain.size() - 1; i >= 0; i--) { propChain.get(i).accept(this); chain = chain.insert(result()); } _kb.addSubProperty(chain, prop); }
@Override public void visit(final OWLSubPropertyChainOfAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } _compositePropertyAxioms.add(getNamedProperty(axiom.getSuperProperty()), axiom); axiom.getSuperProperty().accept(this); final ATermAppl prop = result(); final List<OWLObjectPropertyExpression> propChain = axiom.getPropertyChain(); ATermList chain = ATermUtils.EMPTY_LIST; for (int i = propChain.size() - 1; i >= 0; i--) { propChain.get(i).accept(this); chain = chain.insert(result()); } _kb.addSubProperty(chain, prop); }
protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }
protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }
protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }