C# (CSharp) org.semanticweb.owlapi.reasoner OWLReasonerConfiguration примеры использования

Пример #1

Файл: Cognitum.OwlApi.Net.Pellet.cs Проект: cognitum-octopus/owlapinet

 public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
 {
     return(new com.clarkparsia.pellet.owlapiv3.PelletReasoner(ontology, config, BufferingMode.BUFFERING));
 }

Пример #2

Файл: Cognitum.OwlApi.Net.HermiT.cs Проект: cognitum-octopus/owlapinet

        public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
        {
            org.semanticweb.HermiT.Configuration configuration = new org.semanticweb.HermiT.Configuration();
            configuration.reasonerProgressMonitor            = config.getProgressMonitor();
            configuration.throwInconsistentOntologyException = false;

            return(new org.semanticweb.HermiT.Reasoner(configuration, ontology));
        }