@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 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 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 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 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 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); }