public class EntailedAxiomTree extends ExplanationTree
Constructor and Description |
---|
EntailedAxiomTree(OWLAxiom userObject) |
Modifier and Type | Method and Description |
---|---|
boolean |
isEntailed() |
addChild, addChild, clearChildren, dump, dump, fillDepthFirst, getChildCount, getChildren, getEdge, getMaxDepth, getParent, getPathToRoot, getRoot, getSize, getUserObject, getUserObjectClosure, getUserObjectPathToRoot, isLeaf, isRoot, removeChild, replace, setNodeRenderer, setParent, sortChildren, toString
public EntailedAxiomTree(OWLAxiom userObject)
userObject
- the axiom to wrappublic boolean isEntailed()
isEntailed
in class ExplanationTree
Copyright © 2017 The University of Manchester. All Rights Reserved.