Serialized Form

Package org.semanticweb.owl.explanation.api

Class org.semanticweb.owl.explanation.api.ExplanationException extends org.semanticweb.owlapi.model.OWLRuntimeException implements Serializable

Class org.semanticweb.owl.explanation.api.ExplanationGeneratorInterruptedException extends ExplanationException implements Serializable

Class org.semanticweb.owl.explanation.api.NotEntailedException extends ExplanationException implements Serializable

Serialized Fields

entailment

Object entailment

Class org.semanticweb.owl.explanation.api.UnsupportedEntailmentException extends ExplanationException implements Serializable

Package org.semanticweb.owl.explanation.impl.blackbox.checker

Class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException extends RuntimeException implements Serializable

Serialized Fields

type

org.semanticweb.owlapi.model.AxiomType<C extends org.semanticweb.owlapi.model.OWLAxiom> type