Rework canonical model computation

This is a first attempt to avoid a bug triggered by the nature of the
class RSAOntology and CanonicalModel.

An OWLOntology is converted implicitly to an RSAOntology object
whenever it is needed. From within the RSAOntology class we used to
create a CanonicalModel object (and pass the underling OWLOntology
object as a parameter). Inside CanonicalModel we require RSAOntology
functionalities from the OWLOntology, triggering a new conversion into
RSAOntology (that would compute a new CanonicalModel and so on in a
loop).

While declaring the CanonicalModel as lazy in RSAOntology could solve
the problem, it does not fix the underlying issue of having a class
strictly related to RSAOntology as a top level class.

As a first attempt we moved CanonicalModel as an object inside
RSAOntology.

0 files changed, 0 insertions, 0 deletions