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
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:
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