Merge pull request #194 from dice-group/refactoring

Refactoring

Author: alkidbaci

README.md

@@ -349,6 +349,7 @@ print(len(onto.get_abox_axioms()))
 <details><summary> Click me!</summary>
 
 ```python
+from owlapy.owl_axiom import OWLClassAssertionAxiom
 from owlapy.owl_individual import OWLNamedIndividual
 from owlapy.owl_reasoner import SyncReasoner
 from owlapy.owl_ontology import SyncOntology
@@ -360,7 +361,8 @@ manchester_expr_str = "hasChild some Female"
 ontology = SyncOntology("../KGs/Family/family-benchmark_rich_background.owl")
 reasoner = SyncReasoner(ontology, reasoner="Pellet")
 target_class = manchester_to_owl_expression(manchester_expr_str, "http://www.benchmark.org/family#")
-justifications = reasoner.create_justifications({individual}, target_class, save=True)
+axiom = OWLClassAssertionAxiom(individual, target_class)
+justifications = reasoner.create_axiom_justifications(axiom)
 [print(justification) for justification in justifications]
 ```
 </details>

docs/usage/owlapi_synchronization.md

@@ -27,7 +27,7 @@ mapper. They inherit from abstract classes already present in owlapy
 (`AbstractOWLOntology` and `AbstractOWLReasoner` respectively) so
 the usage is the same as other implementors of these abstract classes.
 Additionally, SyncReasoner provides some supplementary methods, such as `infer_axioms`, 
-`create_justifications`, `has_consistent_ontology`, `is_satisfiable`, etc.
+`create_axiom_justifications`, `create_laconic_axiom_justifications`, `create_inconsistency_justifications`, `has_consistent_ontology`, `is_satisfiable`, etc.
 For a comprehensive overview of all available methods and their description, refer to the [API](owlapy.owl_reasoner.SyncReasoner) documentation.
 
 To make this guide self-contained, we will go through a simple example