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

[Demirrr]

Would you please remove the postfixes reffering to Owlready2? @alkidbaci

[Demirrr]

Could you rename OWLOntologyManager_Owlready2 as OWLOntologyManager or a like by removing the postfix?

[Demirrr]

Could you remove the Owlready2 postfixes?

from owlapy.owl_property import OWLDataProperty, OWLObjectProperty
from owlapy.owl_reasoner import OWLReasoner_Owlready2, OWLReasoner_Owlready2_ComplexCEInstances, BaseReasoner_Owlready2

[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.