public InconsistentOntologyException convert( ElkInconsistentOntologyException e) { return new InconsistentOntologyException(); }
} catch (InconsistentOntologyException e) { e.printStackTrace(); } catch (ReasonerInterruptedException e) {
} catch (InconsistentOntologyException ioe) { String errorMsg = "<p>Inconsistent source ontology:</p>"; if (ioe.getMessage() != null) { errorMsg += "<p>" + ioe.getMessage() + "</p>";
public InconsistentOntologyException convert( ElkInconsistentOntologyException e) { return new InconsistentOntologyException(); }
public InconsistentOntologyException convert( ElkInconsistentOntologyException e) { return new InconsistentOntologyException(); }
protected void throwInconsistentOntologyExceptionIfNecessary() { if (!isConsistent() && m_configuration.throwInconsistentOntologyException) throw new InconsistentOntologyException(); } protected void throwFreshEntityExceptionIfNecessary(OWLObject... objects) {
protected void throwInconsistentOntologyExceptionIfNecessary() { if (!isConsistent() && m_configuration.throwInconsistentOntologyException) throw new InconsistentOntologyException(); }
private void checkConsistency() { if (interrupted.get()) { throw new ReasonerInterruptedException(); } if (!isConsistent()) { throw new InconsistentOntologyException(); } }
private static PelletRuntimeException convert(final PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if (e instanceof openllet.core.exceptions.TimeoutException) throw new TimeOutException(); if (e instanceof openllet.core.exceptions.TimerInterruptedException) throw new ReasonerInterruptedException(e); if (e instanceof openllet.core.exceptions.InconsistentOntologyException) throw new InconsistentOntologyException(); if (e instanceof openllet.core.exceptions.UndefinedEntityException) { final Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException(unknown); } return e; }
private static PelletRuntimeException convert(final PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if (e instanceof openllet.core.exceptions.TimeoutException) throw new TimeOutException(); if (e instanceof openllet.core.exceptions.TimerInterruptedException) throw new ReasonerInterruptedException(e); if (e instanceof openllet.core.exceptions.InconsistentOntologyException) throw new InconsistentOntologyException(); if (e instanceof openllet.core.exceptions.UndefinedEntityException) { final Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException(unknown); } return e; }
private static PelletRuntimeException convert(final PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if (e instanceof openllet.core.exceptions.TimeoutException) // throw e; throw new TimeOutException(); if (e instanceof openllet.core.exceptions.TimerInterruptedException) throw new ReasonerInterruptedException(e); if (e instanceof openllet.core.exceptions.InconsistentOntologyException) throw new InconsistentOntologyException(e); if (e instanceof openllet.core.exceptions.UndefinedEntityException) { final Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException(unknown); } return e; }
private PelletRuntimeException convert(PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if( e instanceof org.mindswap.pellet.exceptions.TimeoutException ) { throw new TimeOutException(); } if( e instanceof org.mindswap.pellet.exceptions.TimerInterruptedException ) { throw new ReasonerInterruptedException( e ); } if( e instanceof org.mindswap.pellet.exceptions.InconsistentOntologyException ) { throw new InconsistentOntologyException(); } if( e instanceof org.mindswap.pellet.exceptions.UndefinedEntityException ) { Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException( unknown ); } return e; }
private static PelletRuntimeException convert(final PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if (e instanceof openllet.core.exceptions.TimeoutException) // throw e; throw new TimeOutException(); if (e instanceof openllet.core.exceptions.TimerInterruptedException) throw new ReasonerInterruptedException(e); if (e instanceof openllet.core.exceptions.InconsistentOntologyException) throw new InconsistentOntologyException(e); if (e instanceof openllet.core.exceptions.UndefinedEntityException) { final Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException(unknown); } return e; }
private static PelletRuntimeException convert(final PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if (e instanceof openllet.core.exceptions.TimeoutException) // throw e; throw new TimeOutException(); if (e instanceof openllet.core.exceptions.TimerInterruptedException) throw new ReasonerInterruptedException(e); if (e instanceof openllet.core.exceptions.InconsistentOntologyException) throw new InconsistentOntologyException(e); if (e instanceof openllet.core.exceptions.UndefinedEntityException) { final Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException(unknown); } return e; }
private PelletRuntimeException convert(PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if( e instanceof org.mindswap.pellet.exceptions.TimeoutException ) { throw new TimeOutException(); } if( e instanceof org.mindswap.pellet.exceptions.TimerInterruptedException ) { throw new ReasonerInterruptedException( e ); } if( e instanceof org.mindswap.pellet.exceptions.InconsistentOntologyException ) { throw new InconsistentOntologyException(); } if( e instanceof org.mindswap.pellet.exceptions.UndefinedEntityException ) { Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException( unknown ); } return e; }
private PelletRuntimeException convert(PelletRuntimeException e) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException, FreshEntitiesException { if( e instanceof org.mindswap.pellet.exceptions.TimeoutException ) { throw new TimeOutException(); } if( e instanceof org.mindswap.pellet.exceptions.TimerInterruptedException ) { throw new ReasonerInterruptedException( e ); } if( e instanceof org.mindswap.pellet.exceptions.InconsistentOntologyException ) { throw new InconsistentOntologyException(); } if( e instanceof org.mindswap.pellet.exceptions.UndefinedEntityException ) { Set<OWLEntity> unknown = Collections.emptySet(); throw new FreshEntitiesException( unknown ); } return e; }
/** ensure that KB is realised */ @PortedFrom(file = "Kernel.h", name = "realiseKB") public void realiseKB() { if (!isKBRealised()) { processKB(KBREALISED); } if (!isKBConsistent()) { throw new InconsistentOntologyException("Ontology is inconsistent"); } }
@Override public void visit(AxiomRoleReflexive axiom) { ensureNames(axiom.getRole()); Role role = getRole(axiom.getRole(), "Role expression expected in Role Reflexivity axiom"); if (role.isBottom()) { throw new InconsistentOntologyException("Top role used in reflexivity axiom " + axiom); } if (!role.isTop()) { role.setReflexive(true); } }
@Override public void visit(AxiomDRoleFunctional axiom) { ensureNames(axiom.getRole()); Role role = getRole(axiom.getRole(), "Role expression expected in Data Role Functionality axiom"); if (role.isTop()) { throw new InconsistentOntologyException("Top role used in role functionality axiom " + axiom); } if (!role.isBottom()) { role.setFunctional(); } }
@Override public void visit(AxiomORoleFunctional axiom) { ensureNames(axiom.getRole()); Role role = getRole(axiom.getRole(), "Role expression expected in Object Role Functionality axiom"); if (role.isTop()) { throw new InconsistentOntologyException("Top role used in role functionality axiom " + axiom); } if (!role.isBottom()) { role.setFunctional(); } }