public ContinuousRulesStrategy(final ABox abox) { super(abox); _bindingStrategy = new BindingGeneratorStrategyImpl(abox); _partialBindings = new ConcurrentLinkedQueue<>(); _unsafeRules = new HashSet<>(); _rulesApplied = new HashMap<>(); _atermTranslator = new RulesToATermTranslator(); _ruleAtomAsserter = new RuleAtomAsserter(); _atomTester = new TrivialSatisfactionHelpers(abox); }
@Override public void visit(final ClassAtom atom) { final ATermAppl cls = atom.getPredicate(); final ATermAppl ind = _binding.get(atom.getArgument()).getName(); addType(ind, cls); }
_ruleAtomAsserter.assertAtom(atom, binding, ds, false, _abox, this); return -1; if (atoms.size() == 1) _ruleAtomAsserter.assertAtom(atoms.get(0), binding, ds, true, _abox, this); return -1;
@Override public void visit(final IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
@Override public void visit(final IndividualPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
@Override public void visit(final ClassAtom atom) { final ATermAppl cls = atom.getPredicate(); final ATermAppl ind = _binding.get(atom.getArgument()).getName(); addType(ind, cls); }
@Override public void visit(final DatavaluedPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
_ruleAtomAsserter.assertAtom(atom, binding, ds, false, _abox, this); return -1; if (atoms.size() == 1) _ruleAtomAsserter.assertAtom(atoms.get(0), binding, ds, true, _abox, this); return -1;
public ContinuousRulesStrategy(final ABox abox) { super(abox); _bindingStrategy = new BindingGeneratorStrategyImpl(abox); _partialBindings = new ConcurrentLinkedQueue<>(); _unsafeRules = new HashSet<>(); _rulesApplied = new HashMap<>(); _atermTranslator = new RulesToATermTranslator(); _ruleAtomAsserter = new RuleAtomAsserter(); _atomTester = new TrivialSatisfactionHelpers(abox); }
@Override public void visit(final SameIndividualAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = value(ind2); addType(ind1, cls); }
@Override public void visit(final DatavaluedPropertyAtom atom) { final ATermAppl p = atom.getPredicate(); final ATermAppl s = _binding.get(atom.getArgument1()).getName(); final ATermAppl o = _binding.get(atom.getArgument2()).getName(); addEdge(p, s, o); }
_logger.fine("RULE: Branch (" + getBranchIndexInABox() + ") try (" + (_tryNext + 1) + "/" + _tryCount + ") " + atom + " " + _binding + " " + _atoms + " " + ds); _ruleAtomAsserter.assertAtom(atom, _binding, ds, _tryNext < _bodyAtomCount, _abox, _strategy);
@Override public void visit(final SameIndividualAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = value(ind2); addType(ind1, cls); }
_logger.fine("RULE: Branch (" + getBranchIndexInABox() + ") try (" + (_tryNext + 1) + "/" + _tryCount + ") " + atom + " " + _binding + " " + _atoms + " " + ds); _ruleAtomAsserter.assertAtom(atom, _binding, ds, _tryNext < _bodyAtomCount, _abox, _strategy);
@Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = not(value(ind2)); addType(ind1, cls); }
@Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = not(value(ind2)); addType(ind1, cls); }