Different reasoning capabilities

[pedropaulofb]

Implement options so the user can choose different reasoning capabilities via use of arguments:

There are major closure type (ie, semantic closure possibilities); these can be controlled through the appropriate parameters of the DeductiveClosure class:

• using the RDFS_Semantics class, implementing the RDFS semantics.
• using the OWLRL.OWLRL_Semantics class, implementing the OWL 2 RL.
• using CombinedClosure.RDFS_OWLRL_Semantics class, implementing a combined semantics of RDFS semantics and OWL 2 RL.

Source: https://owl-rl.readthedocs.io/en/latest/stubs/owlrl.html

The three capabilities above could be called trough the use of arguments r1, r2, and r3, instead of simply using r (that currently implements RDFS_Semantics.

The modification is simple: we just need to change the perform_reasoning function in the utils_rdf.py module so it can receive the user's argument and select the correct capability.

Also, r1, r2, and r3 must be created in an mutual exclusion group.

[pedropaulofb]

After implementing this enhancement, we need to correct the corresponding section in the documentation file.

[pedropaulofb]

It is important to register that this enhancement is unnecessary in the current version of OntCatOWL, where only instantiation and taxonomical relations are kept from the original model. For now, having just RDFS_Semantics is enough, as the intention is only to expand the graph.

In the future, with OntCatOWL considering other RDFS and OWL properties, the implementation of the other reasoning capabilities is interesting to perform other tasks like, e.g., inconsistencies' verifications.

[pedropaulofb]

Reasoning was removed after versions 23.* of Scior