Uses of Class
org.obolibrary.robot.exceptions.IncoherentTBoxException
-
Packages that use IncoherentTBoxException Package Description org.obolibrary.robot -
-
Uses of IncoherentTBoxException in org.obolibrary.robot
Methods in org.obolibrary.robot that throw IncoherentTBoxException Modifier and Type Method Description static void
ReasonerHelper. validate(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
Validates ontology.static void
ReasonerHelper. validate(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, String unsatisfiableModulePath)
Validates ontology.static void
ReasonerHelper. validate(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, String unsatisfiableModulePath, IOHelper ioHelper)
Validates ontology, writes unsatisfiable module.
-