diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-23 13:24:52 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-23 13:24:52 +0200 |
| commit | 4ac28e74095c473e4ae0a44b0fb8db77a9ef3193 (patch) | |
| tree | 2a2ba6530ce19aa5caf9ab7401f1c86608cdd37b /src/main/scala | |
| parent | 37e908b71354f76b9108aeb52182bad7f2f704e2 (diff) | |
| download | RSAComb-4ac28e74095c473e4ae0a44b0fb8db77a9ef3193.tar.gz RSAComb-4ac28e74095c473e4ae0a44b0fb8db77a9ef3193.zip | |
Add tests for 'subObjectPropertyOf' axioms
Diffstat (limited to 'src/main/scala')
0 files changed, 0 insertions, 0 deletions