@Override public void visit(final OWLNamedIndividual individual) { _term = _reasoner.term(individual); }
@Override public void visit(final OWLNamedIndividual individual) { _term = _reasoner.term(individual); }
private void visitProperties(final OWLObject[] properties) { _isEntailed = true; final int n = properties.length; for (int i = 0; i < n - 1; i++) for (int j = i + 1; j < n; j++) if (!_kb.isDisjointProperty(_reasoner.term(properties[i]), _reasoner.term(properties[j]))) { _isEntailed = false; return; } }
private void visitProperties(final OWLObject[] properties) { _isEntailed = true; final int n = properties.length; for (int i = 0; i < n - 1; i++) for (int j = i + 1; j < n; j++) if (!_kb.isDisjointProperty(_reasoner.term(properties[i]), _reasoner.term(properties[j]))) { _isEntailed = false; return; } }
@Override public void visit(final OWLSymmetricObjectPropertyAxiom axiom) { _isEntailed = _kb.isSymmetricProperty(_reasoner.term(axiom.getProperty())); }
@Override public void visit(final OWLAsymmetricObjectPropertyAxiom axiom) { _isEntailed = _kb.isAsymmetricProperty(_reasoner.term(axiom.getProperty())); }
@Override public void visit(final OWLReflexiveObjectPropertyAxiom axiom) { _isEntailed = _kb.isReflexiveProperty(_reasoner.term(axiom.getProperty())); }
@Override public void visit(final OWLIrreflexiveObjectPropertyAxiom axiom) { _isEntailed = _kb.isIrreflexiveProperty(_reasoner.term(axiom.getProperty())); }
@Override public void visit(final OWLInverseFunctionalObjectPropertyAxiom axiom) { _isEntailed = _kb.isInverseFunctionalProperty(_reasoner.term(axiom.getProperty())); }
@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 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 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)); }