Merge pull request #430 from dice-group/bug_fixing

Bug fixing and new release changes
dice-group · Jul 31, 2024 · ef257c7 · ef257c7
2 parents 9fe6010 + 2a1a442
commit ef257c7
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 10 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-[![Coverage](docs/images/tag_coverage.png)](https://ontolearn-docs-dice-group.netlify.app/usage/09_further_resources#code-coverage)
-[![Pypi](docs/images/tag_version.png)](https://pypi.org/project/ontolearn/0.7.2/)
-[![Docs](docs/images/tag_docs.png)](https://ontolearn-docs-dice-group.netlify.app/usage/01_introduction)
+[![Coverage](https://img.shields.io/badge/coverage-95%25-green)](https://ontolearn-docs-dice-group.netlify.app/usage/09_further_resources#code-coverage)
+[![Pypi](https://img.shields.io/badge/pypi-0.7.3-blue)](https://pypi.org/project/ontolearn/0.7.3/)
+[![Docs](https://img.shields.io/badge/documentation-0.7.3-yellow)](https://ontolearn-docs-dice-group.netlify.app/usage/01_introduction)
 
 &nbsp;
 

diff --git a/docs/images/tag_coverage.png b/docs/images/tag_coverage.png
diff --git a/docs/images/tag_docs.png b/docs/images/tag_docs.png
diff --git a/docs/images/tag_version.png b/docs/images/tag_version.png
diff --git a/docs/usage/01_introduction.md b/docs/usage/01_introduction.md
@@ -1,6 +1,6 @@
 # About Ontolearn
 
-**Version:** ontolearn 0.7.2
+**Version:** ontolearn 0.7.3
 
 **GitHub repository:** [https://github.com/dice-group/Ontolearn](https://github.com/dice-group/Ontolearn)
 

diff --git a/ontolearn/__init__.py b/ontolearn/__init__.py
@@ -22,4 +22,4 @@
 # SOFTWARE.
 # -----------------------------------------------------------------------------
 
-__version__ = '0.7.2'
+__version__ = '0.7.3'
diff --git a/ontolearn/base_concept_learner.py b/ontolearn/base_concept_learner.py
@@ -30,23 +30,21 @@
 from typing import List, Tuple, Dict, Optional, Iterable, Generic, TypeVar, ClassVar, Final, Union, cast, Callable, Type
 import numpy as np
 import pandas as pd
-import os
 
 from owlapy.class_expression import OWLClass, OWLClassExpression, OWLThing
 from owlapy.iri import IRI
 from owlapy.owl_axiom import OWLDeclarationAxiom, OWLEquivalentClassesAxiom, OWLAxiom
 from owlapy.owl_individual import OWLNamedIndividual
 from owlapy.owl_ontology import OWLOntology
 from owlapy.owl_ontology_manager import OWLOntologyManager, AddImport, OWLImportsDeclaration
-from owlapy.owl_reasoner import OWLReasoner
+from owlapy.owl_reasoner import OWLReasoner, FastInstanceCheckerReasoner, OntologyReasoner
 
 from ontolearn.heuristics import CELOEHeuristic
 from ontolearn.knowledge_base import KnowledgeBase
 from ontolearn.metrics import F1
 from ontolearn.refinement_operators import ModifiedCELOERefinement
 from owlapy.owl_ontology import Ontology
 from owlapy.owl_ontology_manager import OntologyManager
-from owlapy.owl_reasoner import SyncReasoner
 from owlapy.render import DLSyntaxObjectRenderer
 from .abstracts import BaseRefinement, AbstractScorer, AbstractHeuristic, \
     AbstractConceptNode, AbstractLearningProblem
@@ -307,7 +305,7 @@ def predict(self, individuals: List[OWLNamedIndividual],
             for axiom in axioms:
                 manager.add_axiom(ontology, axiom)
             if reasoner is None:
-                reasoner = SyncReasoner(ontology)
+                reasoner = FastInstanceCheckerReasoner(ontology, base_reasoner=OntologyReasoner(ontology))
 
         if hypotheses is None:
             hypotheses = [hyp.concept for hyp in self.best_hypotheses(n)]

diff --git a/setup.py b/setup.py
@@ -94,7 +94,7 @@ def deps_list(*pkgs):
 setup(
     name="ontolearn",
     description="Ontolearn is an open-source software library for structured machine learning in Python. Ontolearn includes modules for processing knowledge bases, inductive logic programming and ontology engineering.",
-    version="0.7.2",
+    version="0.7.3",
     packages=find_packages(),
     install_requires=extras["min"],
     extras_require=extras,