Package org.liveontologies.protege.explanation.justification

Class Explanation

java.lang.Object

org.liveontologies.protege.explanation.justification.Explanation

public class Explanation
extends Object

Constructor Summary

Constructors

Constructor	Description
Explanation(org.semanticweb.owlapi.model.OWLAxiom entailment)

Method Summary

Modifier and Type	Method	Description
int	addJustification(PrioritizedJustification justification)
org.semanticweb.owlapi.model.OWLAxiom	getEntailment()
PrioritizedJustification	getJustification(int index)

Methods inherited from class java.lang.Object

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

Constructor Details

Explanation

public Explanation(org.semanticweb.owlapi.model.OWLAxiom entailment)

Method Details

getJustification

public PrioritizedJustification getJustification(int index)

addJustification

public int addJustification(PrioritizedJustification justification)

getEntailment

public org.semanticweb.owlapi.model.OWLAxiom getEntailment()