diff --git a/README.md b/README.md
index db0e7aea..f749255f 100644
--- 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)
 
  
 
diff --git a/docs/images/tag_coverage.png b/docs/images/tag_coverage.png
deleted file mode 100644
index 6750f355..00000000
Binary files a/docs/images/tag_coverage.png and /dev/null differ
diff --git a/docs/images/tag_docs.png b/docs/images/tag_docs.png
deleted file mode 100644
index 801d73d3..00000000
Binary files a/docs/images/tag_docs.png and /dev/null differ
diff --git a/docs/images/tag_version.png b/docs/images/tag_version.png
deleted file mode 100644
index 3a5d02ec..00000000
Binary files a/docs/images/tag_version.png and /dev/null differ
diff --git a/docs/usage/01_introduction.md b/docs/usage/01_introduction.md
index ec49944e..bdb41472 100644
--- 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
index d5fed050..e5863def 100644
--- 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
index 96a74b57..b10421ed 100644
--- a/ontolearn/base_concept_learner.py
+++ b/ontolearn/base_concept_learner.py
@@ -30,7 +30,6 @@
 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
@@ -38,7 +37,7 @@
 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
@@ -46,7 +45,6 @@
 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
index 016d0e27..f5e69000 100644
--- 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,