Uses of Class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager (Protege Justification Explanation 0.1.0 API)

Packages that use JustificationComputationManager

Package

Description

org.liveontologies.protege.explanation.justification.service

Uses of JustificationComputationManager in org.liveontologies.protege.explanation.justification.service

Methods in org.liveontologies.protege.explanation.justification.service that return JustificationComputationManager

Modifier and Type

Method

Description

abstract JustificationComputationManager

JustificationComputationService.createComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor)

Creates a JustificationComputationManager computation object designed to compute everything regarding the service.

JustificationComputationManager

JustificationComputationService.createInconsistentOntologyJustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor)