/// <summary>
/// Searches for reasoners in reasonerDllFolder, instantiate a reasoner and shows the info about this reasoner.
/// </summary>
/// <param name="reasonerDllFolder"></param>
public static void GetOwlInfo(string reasonerDllFolder)
{
manager = OWLManager.createOWLOntologyManager();
OWLOntology ontology = manager.createOntology(ontologyIRI);
ReasoningService aa = new ReasoningService(reasonerDllFolder);
OWLReasoner reasoner = aa.reasonerFact.createReasoner(ontology);
Console.WriteLine(aa.reasonerFact.getReasonerName() + " Version:" + aa.reasonerFact.getReasonerVersion() + "\r\n Description:" + aa.reasonerFact.getReasonerDescription());
Console.WriteLine("Press enter to go further...");
Console.ReadLine();
}
public ProgressMonitor(ReasoningService me)
{
this.me = me;
}
