Class IncoherentTBoxException

    • Constructor Detail

      • IncoherentTBoxException

        public IncoherentTBoxException​(Set<org.semanticweb.owlapi.model.OWLClass> unsatisfiableClasses)
        Parameters:
        unsatisfiableClasses - list of unsat classes