public class JustificationMap extends Object
Constructor and Description |
---|
JustificationMap(OWLClassExpression desc,
Set<OWLAxiom> axioms)
Instantiates a new justification map.
|
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
getChildAxioms(OWLAxiom ax)
Gets the child axioms.
|
Set<OWLAxiom> |
getRootAxioms()
Gets the root axioms.
|
public JustificationMap(@Nonnull OWLClassExpression desc, @Nonnull Set<OWLAxiom> axioms)
desc
- the class expressionaxioms
- the axioms@Nonnull public Set<OWLAxiom> getRootAxioms()
@Nonnull public Collection<OWLAxiom> getChildAxioms(@Nonnull OWLAxiom ax)
ax
- the axiom whose children are to be retrievedCopyright © 2020 The University of Manchester. All rights reserved.