Package | Description |
---|---|
uk.ac.manchester.cs.owl.explanation.ordering |
Explanation ordering package
|
Modifier and Type | Class and Description |
---|---|
class |
AlphaExplanationOrderer
Orders an explanation in a flat list, sorting axioms alphabetically.
|
class |
ExplanationOrdererImpl
Provides ordering and indenting of explanations based on various ordering heuristics.
|
class |
NullExplanationOrderer
An implementation of an explanation order, which doesn't really do any
ordering!.
|
Copyright © 2020 The University of Manchester. All rights reserved.