Skip to content

Commit

Permalink
Merge pull request #16 from evoinfo/issue-14
Browse files Browse the repository at this point in the history 
Modify axioms to fit OWL DL global constraints
  • Loading branch information
@hlapp
hlapp committed Jun 27, 2019
2 parents 76afcaa + a05e3da commit c0c5083
Showing 1 changed file with 1,079 additions and 1,051 deletions.
Loading

0 comments on commit c0c5083

Please sign in to comment.