Refactoring and some changes to the base structure

[alkidbaci]

Refactoring

• Created package owlapy.abstracts with 3 modules:

  • abstract_owl_ontology_manager.py
  • abstract_owl_ontology.py
  • abstract_owl_reasoner.py

• Abstract classes OWLOntologyManager and OWLOntologyChange moved from owlapy.owl_ontology_manager to owlapy.abstracts.abstract_owl_ontology_manager

• Abstract class OWLOntology moved from owlapy.owl_ontology to owlapy.abstracts.abstract_owl_ontology.

• Abstract classes OWLReasoner and OWLReasonerEx modev from owlapy.owl_reasoner to owlapy.abstracts.abstract_owl_reasoner

Changes

• Signature changes on methods of OWLReasoner:

  • The argument only_named is no longer a required argument of the abstract methods
  • The argument direct is no longer required on the following methods: data_property_values, object_property_values and all_data_property_values.

• The current reasoners have not changed. Reasoners such as FastInstanceCheckerReasoner still uses the above mentioned arguments, where they have a default value, but SyncReasoner for example does not.

• Class SyncReasoner now inherit from OWLReasoner.

• Added Structural reasoner as an option to SyncReasoner.