public string getReasonerName()
{
OWLOntologyManager owlMan = org.semanticweb.owlapi.apibinding.OWLManager.createOWLOntologyManager();
OWLOntology ont = owlMan.createOntology();
OWLReasoner reas = this.createReasoner(ont);
return(reas.getReasonerName());
}
public string getReasonerVersion()
{
OWLOntologyManager owlMan = org.semanticweb.owlapi.apibinding.OWLManager.createOWLOntologyManager();
OWLOntology ont = owlMan.createOntology();
OWLReasoner reas = this.createReasoner(ont);
org.semanticweb.owlapi.util.Version ver = reas.getReasonerVersion();
return(ver.getMajor() + "." + ver.getMinor() + "." + ver.getPatch());
}
/// <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();
}
