Skip to content

Include SubObjectPropertyOf axioms when reducing.#1248

Merged
jamesaoverton merged 4 commits intoontodev:masterfrom
gouttegd:make-reduce-work-over-subproperties
May 9, 2025

Commits

Commits on Mar 6, 2025

Commits on Mar 10, 2025