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

JustificationMap(org.semanticweb.owlapi.model.OWLClassExpression desc, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Method Summary

Set<org.semanticweb.owlapi.model.OWLAxiom>	getChildAxioms(org.semanticweb.owlapi.model.OWLAxiom ax)
Set<org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLClassExpression desc,
                        Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Parameters:

desc - the class expression

axioms - the axioms

Method Detail

getRootAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getRootAxioms()

Returns:

the root axioms

getChildAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getChildAxioms(org.semanticweb.owlapi.model.OWLAxiom ax)

Parameters:

ax - the axiom whose children are to be retrieved

Returns:

children of ax