Package org.liveontologies.protege.explanation.justification.priority
package org.liveontologies.protege.explanation.justification.priority
-
ClassDescriptionA priority that specifies in which order justifications should be displayed and, preferably, computedA factory for creating
JustificationPriorityThe enumeration of all types ofOWLAxiomfor the lack of such in OWL API.A collection of static methods for manipulating withOwlAxiomTypesA justification (set ofOWLAxiom) that compared using the correspondingJustificationPriority