Package org.liveontologies.protege.explanation.justification.service

Interface JustificationPriorityComparator<P>

Type Parameters:

P - the types of objects that define the priority of justifications

All Superinterfaces:

Comparator<P>

public interface JustificationPriorityComparator<P>
extends Comparator<P>

An assignment of objects using which justifications can be compared

Author:

Yevgeny Kazakov

Method Summary

Modifier and Type	Method	Description
P	getPriority(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)	Computes the priority object of a given justification.

Methods inherited from interface java.util.Comparator

compare, equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Method Details

getPriority

P getPriority(Set<org.semanticweb.owlapi.model.OWLAxiom> justification)

Computes the priority object of a given justification. Using these objects, justifications can be compared.

Parameters:

justification - A Set of OWLAxioms for which to compute the priority

Returns:

the priority, based on which the provided object is compared.