Examples of org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException

org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException
@author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

    public boolean isEntailed(OWLAxiom axiom)
            throws ReasonerInterruptedException,
            UnsupportedEntailmentTypeException, TimeOutException,
            AxiomNotInProfileException, FreshEntitiesException,
            InconsistentOntologyException {
        throw new UnsupportedEntailmentTypeException(axiom);
    }

View Full Code Here

    public boolean isEntailed(Set<? extends OWLAxiom> axioms)
            throws ReasonerInterruptedException,
            UnsupportedEntailmentTypeException, TimeOutException,
            AxiomNotInProfileException, FreshEntitiesException,
            InconsistentOntologyException {
        throw new UnsupportedEntailmentTypeException(axioms.iterator().next());
    }

View Full Code Here

    isEntailed = null;


    axiom.accept( this );


    if( isEntailed == null )
      throw new UnsupportedEntailmentTypeException( axiom );
      
    return isEntailed;
  }

View Full Code Here

TOP

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

au.csiro.snorocket.owlapi.SnorocketOWLReasoner

com.clarkparsia.modularity.EntailmentChecker

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.