@Override public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { Configuration configuration = new Configuration(); configuration.ignoreUnsupportedDatatypes = true; configuration.reasonerProgressMonitor = monitor; return configuration; }
/** * @return configuration */ public Configuration getConfiguration() { return m_configuration.clone(); }
@Override public FreshEntityPolicy getFreshEntityPolicy() { return m_configuration.getFreshEntityPolicy(); }
/** * @param file file to load from * @throws IOException if an error occurs reading the file */ public void loadIndividualReuseStrategyReuseAlways(File file) throws IOException { Set<AtomicConcept> concepts=loadConceptsFromFile(file); setIndividualReuseStrategyReuseAlways(concepts); } protected void setIndividualReuseStrategyReuseNever(Set<? extends AtomicConcept> concepts) {
public void loadIndividualReuseStrategyReuseNever(File file) throws IOException { Set<AtomicConcept> concepts=loadConceptsFromFile(file); setIndividualReuseStrategyReuseNever(concepts); } protected Set<AtomicConcept> loadConceptsFromFile(File file) throws IOException {
@Override public IndividualNodeSetPolicy getIndividualNodeSetPolicy() { return m_configuration.getIndividualNodeSetPolicy(); } @Override
public void loadIndividualReuseStrategyReuseAlways(File file) throws IOException { Set<AtomicConcept> concepts=loadConceptsFromFile(file); setIndividualReuseStrategyReuseAlways(concepts); } protected void setIndividualReuseStrategyReuseNever(Set<? extends AtomicConcept> concepts) {
/** * @param file file to load from * @throws IOException if an error occurs reading the file */ public void loadIndividualReuseStrategyReuseNever(File file) throws IOException { Set<AtomicConcept> concepts=loadConceptsFromFile(file); setIndividualReuseStrategyReuseNever(concepts); } protected Set<AtomicConcept> loadConceptsFromFile(File file) throws IOException {
public IndividualNodeSetPolicy getIndividualNodeSetPolicy() { return m_configuration.getIndividualNodeSetPolicy(); } public FreshEntityPolicy getFreshEntityPolicy() {
/** * 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); }
public Configuration getConfiguration() { return m_configuration.clone(); }
public FreshEntityPolicy getFreshEntityPolicy() { return m_configuration.getFreshEntityPolicy(); }
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;