/// <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; }