Uses of Interface
org.liveontologies.protege.explanation.justification.service.JustificationListener
Packages that use JustificationListener
Package
Description
-
Uses of JustificationListener in org.liveontologies.protege.explanation.justification
Subinterfaces of JustificationListener in org.liveontologies.protege.explanation.justificationClasses in org.liveontologies.protege.explanation.justification that implement JustificationListenerModifier and TypeClassDescriptionclassAuthor: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 20/03/2012classUsed to keep track of the computed justifications for a particular entailedOWLAxiomclassAuthor: Matthew Horridge The University of Manchester Information Management Group Date: 14-Oct-2009 -
Uses of JustificationListener in org.liveontologies.protege.explanation.justification.service
Methods in org.liveontologies.protege.explanation.justification.service that return JustificationListenerMethods in org.liveontologies.protege.explanation.justification.service with parameters of type JustificationListenerModifier and TypeMethodDescriptionabstract JustificationComputationManagerJustificationComputationService.createComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor) Creates aJustificationComputationManagercomputation object designed to compute everything regarding the service.JustificationComputationService.createInconsistentOntologyJustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor) Constructors in org.liveontologies.protege.explanation.justification.service with parameters of type JustificationListenerModifierConstructorDescriptionJustificationComputation(JustificationListener listener, JustificationComputation.InterruptMonitor monitor) JustificationComputationManager(org.semanticweb.owlapi.model.OWLAxiom entailment, JustificationListener listener, JustificationComputation.InterruptMonitor monitor) Constructs a computation object