public class JustificationMap extends Object
Constructor and Description |
---|
JustificationMap(OWLClassExpression desc,
Set<OWLAxiom> axioms) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
getChildAxioms(OWLAxiom ax) |
Set<OWLAxiom> |
getRootAxioms() |
public JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms)
desc
- the class expressionaxioms
- the axiomsCopyright © 2017 The University of Manchester. All Rights Reserved.