- All Implemented Interfaces:
public class NullExplanationOrderer
An implementation of an explanation order, which doesn't really do any
- Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group
public ExplanationTree getOrderedExplanation(OWLAxiom entailment,
Gets an ordered (and possibly indented) explanation. The orderer really
provides some kind of "presentation" layer to make an explanation easier
- Specified by:
getOrderedExplanation in interface
entailment - The axiom that represents the entailment that the explanation being ordered
is a justification for.
axioms - The axioms that constitute the unordered explanation
- An order explanation.
Copyright © 2018 The University of Manchester. All rights reserved.