|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
b
from this DependencySet.
true
if removal was successful.
axiom
from TBox and all other axioms that depend on it.
dependantAxiom
that contain
explanationAxiom
.
InfGraph.getDeductionsGraph()
(similarly
InfModel.getDeductionsModel()
) with Pellet.
Model.listStatements() can be used to retrieve all the
asserted and inferred statements.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |