org.semanticweb.owl.debugging
Class JustificationMap

java.lang.Object
  org.semanticweb.owl.debugging.JustificationMap

public class JustificationMap
extends java.lang.Object

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

Constructor Summary

JustificationMap(OWLDescription desc, java.util.Set<OWLAxiom> axioms)

Method Summary

java.util.Set<OWLAxiom>	getChildAxioms(OWLAxiom ax)
java.util.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(OWLDescription desc,
                        java.util.Set<OWLAxiom> axioms)

Method Detail

getRootAxioms

public java.util.Set<OWLAxiom> getRootAxioms()

getChildAxioms

public java.util.Set<OWLAxiom> getChildAxioms(OWLAxiom ax)