Examples of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException
This type of exception is thrown by an {@link org.semanticweb.owlapi.reasoner.OWLReasoner} to indicate that theimports closure of the root ontology (returned by {@link org.semanticweb.owlapi.reasoner.OWLReasoner#getRootOntology()}) is inconsistent. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

        if (!m_configuration.bufferChanges && !m_pendingChanges.isEmpty())
            flush();
    }
    protected void throwInconsistentOntologyExceptionIfNecessary() {
        if (!isConsistent() && m_configuration.throwInconsistentOntologyException)
            throw new InconsistentOntologyException();
    }

View Full Code Here

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

View Full Code Here

        }
    }


    private void checkOntologyConsistent() throws InconsistentOntologyException {
        if (!problems.isEmpty()) {
            throw new InconsistentOntologyException();
        }
    }

View Full Code Here

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

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

au.csiro.snorocket.owlapi.SnorocketOWLReasoner

com.clarkparsia.modularity.IncrementalClassifier

com.clarkparsia.pellet.owlapiv3.PelletReasoner

org.semanticweb.HermiT.Reasoner

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.