Commit 0a94bd2
Mark Jensen
Patch fix to MRO, incorrect namespace in subproperty axioms
1 parent cb8c4f2 commit 0a94bd2
File tree
2 files changed
+69
-69
lines changed- documentation
2 files changed
+69
-69
lines changed{{ message }}
1 parent cb8c4f2 commit 0a94bd2
0 commit comments