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(OWLClassExpression desc, Set<OWLAxiom> axioms)
desc
- the class expressionaxioms
- the axiomspublic Collection<OWLAxiom> getChildAxioms(OWLAxiom ax)
ax
- the axiom whose children are to be retrievedCopyright © 2020 The University of Manchester. All rights reserved.