org.semanticweb.owlapi.debugging

Class JustificationMap

java.lang.Object

org.semanticweb.owlapi.debugging.JustificationMap

public class JustificationMap
extends Object

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 30-Apr-2007

Constructor Summary

Constructors

Constructor and Description
JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms)

Method Summary

Modifier and Type	Method and Description
Set<OWLAxiom>	getChildAxioms(OWLAxiom ax)
Set<OWLAxiom>	getRootAxioms()

Methods inherited from class java.lang.Object

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

Constructor Detail

JustificationMap

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

Parameters:

desc - the class expression

axioms - the axioms

Method Detail

getRootAxioms

public Set<OWLAxiom> getRootAxioms()

Returns:

the root axioms

getChildAxioms

public Set<OWLAxiom> getChildAxioms(OWLAxiom ax)

Parameters:

ax - the axiom whose children are to be retrieved

Returns:

children of ax