Package org.semanticweb.owlapi.debugging

Class JustificationMap

java.lang.Object

org.semanticweb.owlapi.debugging.JustificationMap

public class JustificationMap
extends Object

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor	Description
JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms)	Instantiates a new justification map.

Method Summary

Modifier and Type	Method	Description
Collection<OWLAxiom>	getChildAxioms(OWLAxiom ax)	Gets the child axioms.
Set<OWLAxiom>	getRootAxioms()	Gets the root axioms.

Methods inherited from class java.lang.Object

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

Constructor Details

JustificationMap

public JustificationMap(OWLClassExpression desc,
 Set<OWLAxiom> axioms)

Instantiates a new justification map.

Parameters:

desc - the class expression

axioms - the axioms

Method Details

getRootAxioms

public Set<OWLAxiom> getRootAxioms()

Gets the root axioms.

Returns:

the root axioms

getChildAxioms

public Collection<OWLAxiom> getChildAxioms(OWLAxiom ax)

Gets the child axioms.

Parameters:

ax - the axiom whose children are to be retrieved

Returns:

children of ax