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 Detail

JustificationMap

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

Instantiates a new justification map.

Parameters:

desc - the class expression

axioms - the axioms

Method Detail

getRootAxioms

@Nonnull
public Set<OWLAxiom> getRootAxioms()

Gets the root axioms.

Returns:

the root axioms

getChildAxioms

@Nonnull
public Collection<OWLAxiom> getChildAxioms(@Nonnull
                                           OWLAxiom ax)

Gets the child axioms.

Parameters:

ax - the axiom whose children are to be retrieved

Returns:

children of ax