Extension of Structured Decomposition Benefits to Complex Logical Structures

Investigating whether LLM + OWL 2 ABox + SWRL verification benefits extend beyond conjunctive predicates to disjunctions, negation, and nested quantifiers.

Accuracy Improvement by Logic Type

Effect Size (Cohen's d)

Baseline vs Framework Accuracy

Detailed Results

Logic TypePredicatesBaselineFrameworkImprovementCohen's dp-valueSignificant