case classTaskContext(ontologyManager: OWLOntologyManager, targetOntologies: Set[OWLOntology], ontologyManagerFactory: () ⇒ OWLOntologyManager) extends AutoCloseable with HermitReasoning with Logging with Product with Serializable
Linear Supertypes
Serializable, Serializable, Product, Equals, Logging, HermitReasoning, Reasoning, AutoCloseable, AnyRef, Any