Skip to content

Commit

Permalink
Remove disjoint unions
Browse files Browse the repository at this point in the history 
Starting to remove disjoint unions, replacing them with separated union and disjointness axioms to prepare for OWL 2 EL version.
  • Loading branch information
@nanodome
nanodome committed Mar 23, 2024
1 parent 519298b commit 614215d
Show file tree
Hide file tree
Showing 3 changed files with 1,370 additions and 1,220 deletions.
Loading

0 comments on commit 614215d

Please sign in to comment.