Examples of InconsistentOntologyException

org.mindswap.pellet.exceptions.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

Examples of org.mindswap.pellet.exceptions.InconsistentOntologyException

    return getTaxonomyBuilder().getToldDisjoints();
  }


  public void ensureConsistency() {
    if( !isConsistent() )
      throw new InconsistentOntologyException(
          "Cannot do reasoning with inconsistent ontologies!\n" +
          "Reason for inconsistency: " + getExplanation() +
          (PelletOptions.USE_TRACING ? "\n" + renderExplanationSet() : "" ));
  }

View Full Code Here

Examples of org.mindswap.pellet.exceptions.InconsistentOntologyException

    return getTaxonomyBuilder().getToldDisjoints();
  }


  public void ensureConsistency() {
    if( !isConsistent() )
      throw new InconsistentOntologyException(
          "Cannot do reasoning with inconsistent ontologies!\n" +
          "Reason for inconsistency: " + getExplanation() +
          (PelletOptions.USE_TRACING ? "\n" + renderExplanationSet() : "" ));
  }

View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

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

View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

    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

Examples of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

        }
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.reasoner.InconsistentOntologyException

    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

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.