@Override public void visit(final OWLDifferentIndividualsAxiom axiom) { final List<ATermAppl> differents = new ArrayList<>(); axiom.individuals().forEach(ind -> { final ATermAppl term = _indConv.getTerm(ind); for (final ATermAppl dterm : differents) _query.add(QueryAtomFactory.DifferentFromAtom(term, dterm)); }); }
protected Query query(final ATermAppl[] vars, final QueryAtom[] atoms) { final Query q = new QueryImpl(_kb, true); for (final ATermAppl var : vars) q.addResultVar(var); for (final QueryAtom atom : atoms) q.add(atom); for (final ATermAppl var : q.getUndistVars()) q.addDistVar(var, VarType.INDIVIDUAL); return q; }
@Override public void visit(final OWLDifferentIndividualsAxiom axiom) { final List<ATermAppl> differents = new ArrayList<>(); axiom.individuals().forEach(ind -> { final ATermAppl term = _indConv.getTerm(ind); for (final ATermAppl dterm : differents) _query.add(QueryAtomFactory.DifferentFromAtom(term, dterm)); }); }
private Query query(final QueryAtom... atoms) { final Query q = new QueryImpl(_kb, true); for (final QueryAtom atom : atoms) q.add(atom); return q; }
@Override public void visit(final OWLSameIndividualAxiom axiom) { ATermAppl head = null; for (final OWLIndividual ind : asList(axiom.individuals())) { final ATermAppl term = _indConv.getTerm(ind); if (head == null) head = term; else _query.add(QueryAtomFactory.SameAsAtom(head, term)); } }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final ATermAppl ind = _indConv.getTerm(axiom.getIndividual()); final ATermAppl cls = _reasoner.term(axiom.getClassExpression()); _query.add(QueryAtomFactory.TypeAtom(ind, cls)); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final ATermAppl ind = _indConv.getTerm(axiom.getIndividual()); final ATermAppl cls = _reasoner.term(axiom.getClassExpression()); _query.add(QueryAtomFactory.TypeAtom(ind, cls)); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { final ATermAppl ind = _indConv.getTerm(axiom.getIndividual()); final ATermAppl cls = _reasoner.term(axiom.getClassExpression()); _query.add(QueryAtomFactory.TypeAtom(ind, cls)); }
@Override public void visit(final OWLDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLObjectPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _indConv.getTerm(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLNegativeDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj)); }
@Override public void visit(final OWLDataPropertyAssertionAxiom axiom) { final ATermAppl subj = _indConv.getTerm(axiom.getSubject()); final ATermAppl pred = _reasoner.term(axiom.getProperty()); final ATermAppl obj = _reasoner.term(axiom.getObject()); _query.add(QueryAtomFactory.PropertyValueAtom(subj, pred, obj)); }