Package org.liveontologies.protege.explanation.justification.priority

Class PrioritizedJustification

java.lang.Object

org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification

All Implemented Interfaces:

Comparable<PrioritizedJustification>

public class PrioritizedJustification
extends Object
implements Comparable<PrioritizedJustification>

A justification (set of OWLAxiom) that compared using the corresponding JustificationPriority

Author:

Yevgeny Kazakov

Method Summary

Modifier and Type	Method	Description
int	compareTo(PrioritizedJustification o)
boolean	contains(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	equals(Object obj)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getAxioms()
int	getSize()
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Details

getAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()

getSize

public int getSize()

contains

public boolean contains(org.semanticweb.owlapi.model.OWLAxiom axiom)

compareTo

public int compareTo(PrioritizedJustification o)

Specified by:

compareTo in interface Comparable<PrioritizedJustification>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object