Examples of org.semanticweb.owlapi.reasoner.ReasonerInternalException

org.semanticweb.owlapi.reasoner.ReasonerInternalException
Specifies that a some internal error occurred during reasoning. Each reasoner implementation will specify the cause of the error in the message.
This exception is only thrown when an internal error (due to errors in the reasoner code) has occurred and the reasoner cannot recover silently from the error. If the reasoner can recover silently this exception will not be thrown.
Clients should dispose of the reasoner when an internal reasoner exception is thrown because the error is unrecoverable and the internal state of the reasoner may be corrupt. @author Matthew Horridge, The University of Manchester, Bio-HealthInformatics Group @since 3.1.0

            sb.append("\n");
            sb.append(e.getMessage());
            
            log.error(sb.toString());
            monitor.taskEnded();
            throw new ReasonerInternalException(sb.toString(), e);
        }
        
        return canAxioms;
    }

View Full Code Here

    }


    private void checkNamedClass(OWLClassExpression ce)
            throws ReasonerInternalException {
        if (ce.isAnonymous()) {
            throw new ReasonerInternalException(
                    "Expected a named class, got " + ce);
        }
    }

View Full Code Here

        checkOntologyConsistent();
        checkNamedClass(ce);


        au.csiro.ontology.Node n = getNode(ce.asOWLClass());
        if(n == null) {
            throw new ReasonerInternalException("Named class "+ ce +
                    " not found!");
        }
        return nodeToOwlClassNode(n);
    }

View Full Code Here

     *             See {@link #getTimeOut()}.
     */
    public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce)
            throws ReasonerInterruptedException, TimeOutException,
            FreshEntitiesException, InconsistentOntologyException {
        throw new ReasonerInternalException(
                "getDisjointClasses not implemented");
    }

View Full Code Here

     */
    public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties(
            OWLObjectPropertyExpression pe, boolean direct)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getSubObjectProperties not implemented");
    }

View Full Code Here

     */
    public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties(
            OWLObjectPropertyExpression pe, boolean direct)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getSuperObjectProperties not implemented");
    }

View Full Code Here

     */
    public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(
            OWLObjectPropertyExpression pe)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getDisjointObjectProperties not implemented");
    }

View Full Code Here

     */
    public Node<OWLObjectPropertyExpression> getInverseObjectProperties(
            OWLObjectPropertyExpression pe)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getInverseObjectProperties not implemented");
    }

View Full Code Here

     */
    public NodeSet<OWLClass> getObjectPropertyDomains(
            OWLObjectPropertyExpression pe, boolean direct)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getObjectPropertyDomains not implemented");
    }

View Full Code Here

     */
    public NodeSet<OWLClass> getObjectPropertyRanges(
            OWLObjectPropertyExpression pe, boolean direct)
            throws InconsistentOntologyException, FreshEntitiesException,
            ReasonerInterruptedException, TimeOutException {
        throw new ReasonerInternalException(
                "getObjectPropertyRanges not implemented");
    }

View Full Code Here

0 1 2

TOP

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

au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.