diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-23 12:18:35 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-23 12:18:35 +0000 |
| commit | 58435546aec92af87bf37255b0646c66a1218df6 (patch) | |
| tree | 1936e09c734907dfed961440d534ea16a9a114e5 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
| parent | cf3c93abbc7d1be32a8962340baf8b71a615cc56 (diff) | |
| download | RSAComb-58435546aec92af87bf37255b0646c66a1218df6.tar.gz RSAComb-58435546aec92af87bf37255b0646c66a1218df6.zip | |
Add OWLDisjointClassesAxiom support
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
0 files changed, 0 insertions, 0 deletions