C# (CSharp) org.semanticweb.HermiT.Configuration Examples

Example #1

File: Cognitum.OwlApi.Net.HermiT.cs Project: 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));
        }

Example #2

File: Cognitum.OwlApi.Net.HermiT.cs Project: cognitum-octopus/owlapinet

        public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(OWLOntology ontology)
        {
            var config = new org.semanticweb.HermiT.Configuration();

            config.reasonerProgressMonitor            = progrMonitor;
            config.throwInconsistentOntologyException = false;

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