@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public ElkClassExpression getFillerMatch() { return getValue().getFiller(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public ElkClassExpression getFillerMatch() { return getValue().getFiller(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public ElkClassExpression getFillerMatch() { return getValue().getFiller(); }
@Override public ElkObjectPropertyExpression getPropertyMatch() { return getValue().getProperty(); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public ElkObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectSomeValuesFrom) { ElkObjectSomeValuesFrom result = (ElkObjectSomeValuesFrom) object_; if (equals(result.getFiller(), expression.getFiller()) && equals(result.getProperty(), expression.getProperty())) return result; } return null; }
@Override public IndexedContextRootMatch getFillerRootMatch(Factory factory) { return factory.getIndexedContextRootClassExpressionMatch( getValue().getFiller()); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference( FACTORY.getElkClassInclusionExistentialTransitivity( getElkSuperClassExistential(getPremises().get(0)) .getProperty(), new AbstractList<ElkClassExpression>() { @Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom( getPremises().get(0)) .getSubClassExpression(); default: return getElkSuperClassExistential( getPremises().get(index - 1)) .getFiller(); } } @Override public int size() { return getPremises().size(); } })); }
@Override public ObjectPropertyAssertionEntailmentQuery visit( final ElkObjectPropertyAssertionAxiom axiom) { final IndexedIndividual subject = axiom.getSubject() .accept(positiveConverter_); final IndexedClassExpression ovjectExistential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getObjectOneOf(axiom.getObject())) .accept(negativeConverter_); return new ObjectPropertyAssertionEntailmentQuery( new ObjectPropertyAssertionAxiomEntailmentImpl(axiom), subject, ovjectExistential); }
@Override public ModifiableIndexedClassExpression visit( ElkObjectSomeValuesFrom elkObjectSomeValuesFrom) { return factory_.getIndexedObjectSomeValuesFrom(elkObjectSomeValuesFrom .getProperty().accept(this), elkObjectSomeValuesFrom .getFiller().accept(this)); }
@Override public IndexedContextRootMatch getFillerRootMatch(Factory factory) { return factory.getIndexedContextRootClassExpressionMatch( getValue().getFiller()); }
@Override public ObjectPropertyAssertionEntailmentQuery visit( final ElkObjectPropertyAssertionAxiom axiom) { final IndexedIndividual subject = axiom.getSubject() .accept(positiveConverter_); final IndexedClassExpression ovjectExistential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getObjectOneOf(axiom.getObject())) .accept(negativeConverter_); return new ObjectPropertyAssertionEntailmentQuery( new ObjectPropertyAssertionAxiomEntailmentImpl(axiom), subject, ovjectExistential); }
@Override public OWLObjectSomeValuesFrom visit(ElkObjectSomeValuesFrom expression) { return owlFactory_.getOWLObjectSomeValuesFrom( convert(expression.getProperty()), convert(expression.getFiller())); }
@Override public IndexedContextRootMatch getFillerRootMatch(Factory factory) { return factory.getIndexedContextRootClassExpressionMatch( getValue().getFiller()); }