public ATermAppl term(final OWLObject d) { _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (a == null) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; }
public ATermAppl term(final OWLObject d) { _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (a == null) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; }
public ATermAppl term(final OWLObject d) { _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (a == null) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; }
@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); }
@Override public ATermAppl term(final OWLObject d) { synchronized (_visitor) { refreshCheck(); _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (null == a) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; } }
@Override public ATermAppl term(final OWLObject d) { synchronized (_visitor) { refreshCheck(); _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (null == a) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; } }
@Override public ATermAppl term(final OWLObject d) { synchronized (_visitor) { refreshCheck(); _visitor.reset(); _visitor.setAddAxiom(false); d.accept(_visitor); final ATermAppl a = _visitor.result(); if (null == a) throw new InternalReasonerException("Cannot create ATerm from description " + d); return a; } }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } axiom.getOWLClass().accept(this); final ATermAppl c = _term; ATermList classes = ATermUtils.EMPTY_LIST; for (final OWLClassExpression desc : asList(axiom.classExpressions())) { desc.accept(this); classes = classes.insert(result()); } _kb.addDisjointClasses(classes); _kb.addEquivalentClass(c, ATermUtils.makeOr(classes)); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } axiom.getOWLClass().accept(this); final ATermAppl c = _term; ATermList classes = ATermUtils.EMPTY_LIST; for (final OWLClassExpression desc : asList(axiom.classExpressions())) { desc.accept(this); classes = classes.insert(result()); } _kb.addDisjointClasses(classes); _kb.addEquivalentClass(c, ATermUtils.makeOr(classes)); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } axiom.getOWLClass().accept(this); final ATermAppl c = _term; ATermList classes = ATermUtils.EMPTY_LIST; for (final OWLClassExpression desc : asList(axiom.classExpressions())) { desc.accept(this); classes = classes.insert(result()); } _kb.addDisjointClasses(classes); _kb.addEquivalentClass(c, ATermUtils.makeOr(classes)); }
final ATermAppl aterm = _atermConverter.result();