Optimal ordering of CES simplification processes

Determine an optimal application strategy for ordering specific Class Expression Simplifier processes, such as factorization and cardinality-restriction merging, and investigate whether multi-pass or rule-prioritization schemes improve simplification outcomes.

Background

The Class Expression Simplifier (CES) applies syntactic rewriting processes, including factorization and the merging of cardinality restrictions, in a single pass. Because the order of these processes can affect the resulting class expression, the current implementation may not always produce the most simplified representation.

The paper identifies the design of an optimal ordering strategy as unresolved and specifically suggests exploring multi-pass execution or rule-prioritization schemes as possible ways to obtain further improvements.