@Override public boolean isEntailmentCheckingSupported(final AxiomType<?> axiomType) { Class<? extends ElkObject> elkAxiomClass = OwlConverter .convertType(axiomType.getActualClass()); if (elkAxiomClass == null || !ElkAxiom.class.isAssignableFrom(elkAxiomClass)) { // not supported return false; } // else return EntailmentQueryConverter.isEntailmentCheckingSupported( elkAxiomClass.asSubclass(ElkAxiom.class)); }
@Override public boolean isEntailmentCheckingSupported(final AxiomType<?> axiomType) { Class<? extends ElkObject> elkAxiomClass = OwlConverter .convertType(axiomType.getActualClass()); if (elkAxiomClass == null || !ElkAxiom.class.isAssignableFrom(elkAxiomClass)) { // not supported return false; } // else return EntailmentQueryConverter.isEntailmentCheckingSupported( elkAxiomClass.asSubclass(ElkAxiom.class)); }
@Override public boolean isEntailmentCheckingSupported(final AxiomType<?> axiomType) { Class<? extends ElkObject> elkAxiomClass = OwlConverter .convertType(axiomType.getActualClass()); if (elkAxiomClass == null || !ElkAxiom.class.isAssignableFrom(elkAxiomClass)) { // not supported return false; } // else return EntailmentQueryConverter.isEntailmentCheckingSupported( elkAxiomClass.asSubclass(ElkAxiom.class)); }
.isEntailmentCheckingSupported(axiom.getClass())) { results.put(axiom, new UnsupportedQueryTypeEntailmentQueryResultImpl(
.isEntailmentCheckingSupported(axiom.getClass())) { results.put(axiom, new UnsupportedQueryTypeEntailmentQueryResultImpl(
.isEntailmentCheckingSupported(axiom.getClass())) { results.put(axiom, new UnsupportedQueryTypeEntailmentQueryResultImpl(