owlpod

Type Members

1. type AbortReasonStr = String

   

2. case class CheckResults(violations: Map[CheckTask, Seq[OWLViolation]], passed: Map[CheckTask, String]) extends StepResults with Product with Serializable

   

3. class ExecutionAbortedError extends RuntimeException

   

4. trait ExecutionPolicy extends AnyRef

   

5. case class OWLViolation(description: String, culprits: Seq[OWLObject]) extends Product with Serializable

   

6. case class OntologySourceAmbiguities(ambiguities: Map[OWLOntologyID, Set[File]]) extends Product with Serializable

   

7. case class PostprocessingResults(failed: Map[Postprocessor, Throwable], successful: Map[Postprocessor, Set[SerialisationInfo]]) extends StepResults with Product with Serializable

   

8. case class PublicationResults(failed: Map[PublicationTask, Throwable], successful: Set[PublicationTask]) extends StepResults with Product with Serializable

   

9. case class RefactoringResults(failed: Map[RefactoringTask, Throwable], successful: Map[RefactoringTask, RefactoringResult]) extends StepResults with Product with Serializable

   

10. case class SerialisationResults(failed: Map[SerialisationInfo, Throwable], successful: List[SerialisationInfo]) extends StepResults with Product with Serializable

    

11. sealed trait StepResults extends AnyRef

    

12. case class TaskContext(ontologyManager: OWLOntologyManager, targetOntologies: Set[OWLOntology], ontologyManagerFactory: () ⇒ OWLOntologyManager) extends AutoCloseable with HermitReasoning with Logging with Product with Serializable