Ontology manipulation

[alkidbaci]

Added classes for ontology manipulation

• Ontology representation: added OWLOntology_Owlready2 at owl_ontology.py
• Ontology manager: added OWLOntologyManager_Owlready2 at owl_ontology_manager.py
• Ontology reasoning: added OWLReasoner_Owlready2, OWLReasoner_FastInstanceChecker (FIC), OWLReasoner_Owlready2_ComplexCEInstances (CCEI) at owl_reasoner.py

Added more examples

• added ontology_modification.py
• added ontology_reasoning.py

Added the rest of owlapy test cases (moved from Ontolearn)

Added KGs download in the workflow

Updated documentation

[alkidbaci]

Renamed the following classes:

• OWLOntology_Owlready2 → Ontogloy
• OWLOntologyManager_Owlready2 → OntologyManager
• OWLReasoner_Owlready2 → OntologyReasoner
• OWLReasoner_FastInstanceChecker → FastInstanceCheckerReasoner
• OWLReasoner_Owlready2_ComplexCEInstances → SyncReasoner
• BaseReasoner_Owlready2 → BaseReasoner

PS: Could not rename them to OWLOntology or OWLOntologyManager for example, because it conflicts with the super class name.