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.
Refactoring
Created package
owlapy.abstractswith 3 modules:abstract_owl_ontology_manager.pyabstract_owl_ontology.pyabstract_owl_reasoner.pyAbstract classes
OWLOntologyManagerandOWLOntologyChangemoved fromowlapy.owl_ontology_managertoowlapy.abstracts.abstract_owl_ontology_managerAbstract class
OWLOntologymoved fromowlapy.owl_ontologytoowlapy.abstracts.abstract_owl_ontology.Abstract classes
OWLReasonerandOWLReasonerExmodev fromowlapy.owl_reasonertoowlapy.abstracts.abstract_owl_reasonerChanges
Signature changes on methods of
OWLReasoner:only_namedis no longer a required argument of the abstract methodsdirectis no longer required on the following methods:data_property_values,object_property_valuesandall_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
SyncReasonernow inherit from OWLReasoner.Added Structural reasoner as an option to SyncReasoner.