explain multiple entailed axioms

[cmungall]

trafficstars

Current explain allows for explanations of a single entailed axiom (or explanations of multiple unsatisfiable classes).

I would like to be able to gather all explanations for multiple entailed axioms.

My use case is:

• add a high level axiom (e.g. RO change) that has the effect of revealing many cryptic entailments
• diff all entailed axioms between the ontology before and after
• analyze the differences for high level patterns

Currently my workflow is to run reason on both files, do a diff, and feed the results to chatgpt to get it to summarize broad patterns.

I would like to do this more systematically, and analyze all explanations for common features

This may well be a non-robot use case, oak may be a better place for statistical analysis of sets of entailments, if so we can close this but I wanted somewhere to park initial discussion

cc @balhoff