|
||||||||||
| 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.
true if removal was successful.
true if removal was successful.
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 | |||||||||