public class JustificationMap
extends java.lang.Object
Constructor and Description |
---|
JustificationMap(OWLClassExpression desc,
java.util.Set<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLAxiom> |
getChildAxioms(OWLAxiom ax) |
java.util.Set<OWLAxiom> |
getRootAxioms() |
public JustificationMap(OWLClassExpression desc, java.util.Set<OWLAxiom> axioms)
desc
- the class expressionaxioms
- the axioms