Methods in org.semanticweb.HermiT.cli with parameters of type Reasoner |
void |
CommandLine.Action.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.DumpPrefixesAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.DumpClausesAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.ClassifyAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.SatisfiabilityAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.SupersAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.SubsAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.EquivalentsAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|
void |
CommandLine.EntailsAction.run(Reasoner hermit,
CommandLine.StatusOutput status,
java.io.PrintWriter output,
boolean ignoreOntologyPrefixes)
|