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