@Override public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { Configuration configuration = new Configuration(); configuration.ignoreUnsupportedDatatypes = true; configuration.reasonerProgressMonitor = monitor; return configuration; }
/** * Creates a new reasoner object with standard parameters for blocking, expansion strategy etc. Then the given manager is used to find all required imports for the given ontology and the ontology with the imports is loaded into the reasoner and the data factory of the manager is used to create fresh concepts during the preprocessing phase if necessary. * * @param rootOntology * - the ontology that should be loaded by the reasoner */ public Reasoner(OWLOntology rootOntology) { this(new Configuration(),rootOntology,(Set<DescriptionGraph>)null); }
protected void clausify() { // Reasoner hermiT = new Reasoner(restOntology); Configuration conf = new Configuration(); OWLClausification clausifier = new OWLClausification(conf); dlOntology = (DLOntology)clausifier.preprocessAndClausify(restOntology, null)[1]; clausifier = null; }
protected Configuration getProtegeConfiguration(OWLReasonerConfiguration owlAPIConfiguration) { Configuration configuration; if (owlAPIConfiguration!=null) { if (owlAPIConfiguration instanceof Configuration) configuration=(Configuration)owlAPIConfiguration; else { configuration=new Configuration(); configuration.freshEntityPolicy=owlAPIConfiguration.getFreshEntityPolicy(); configuration.individualNodeSetPolicy=owlAPIConfiguration.getIndividualNodeSetPolicy(); configuration.reasonerProgressMonitor=owlAPIConfiguration.getProgressMonitor(); configuration.individualTaskTimeout=owlAPIConfiguration.getTimeOut(); } } else { configuration=new Configuration(); configuration.ignoreUnsupportedDatatypes=true; } return configuration; } protected OWLReasoner createHermiTOWLReasoner(Configuration configuration,OWLOntology ontology) {
protected Configuration getProtegeConfiguration(OWLReasonerConfiguration owlAPIConfiguration) { Configuration configuration; if (owlAPIConfiguration!=null) { if (owlAPIConfiguration instanceof Configuration) configuration=(Configuration)owlAPIConfiguration; else { configuration=new Configuration(); configuration.freshEntityPolicy=owlAPIConfiguration.getFreshEntityPolicy(); configuration.individualNodeSetPolicy=owlAPIConfiguration.getIndividualNodeSetPolicy(); configuration.reasonerProgressMonitor=owlAPIConfiguration.getProgressMonitor(); configuration.individualTaskTimeout=owlAPIConfiguration.getTimeOut(); } } else { configuration=new Configuration(); configuration.ignoreUnsupportedDatatypes=true; } return configuration; } protected OWLReasoner createHermiTOWLReasoner(Configuration configuration,OWLOntology ontology) {
= new org.semanticweb.HermiT.Configuration(); OWLReasoner reasoner=factory.createReasoner(ontology, c); List<InferredAxiomGenerator<? extends OWLAxiom>> generators= new ArrayList<>();
File from = new File(man.getOntologyDocumentIRI(ontology).toURI()); try { Configuration conf = new Configuration(); conf.reasonerProgressMonitor = new ConsoleProgressMonitor(); conf.ignoreUnsupportedDatatypes = true;
URI base; IRI conclusionIRI=null; Configuration config=new Configuration(); boolean doAll=true; try {
case HERMIT: reasonerFactory = new org.semanticweb.HermiT.ReasonerFactory(); Configuration c = new Configuration(); c.ignoreUnsupportedDatatypes = true;
@Override public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { Configuration configuration = new Configuration(); configuration.ignoreUnsupportedDatatypes = true; configuration.reasonerProgressMonitor = monitor;