diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-01 22:53:43 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-01 22:53:43 +0000 |
| commit | 30f1449365f51d3e138a3fcfd46aca2a4a4c55b9 (patch) | |
| tree | 3aa0b1abb667356602cfeac3086b2818810aa419 /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | |
| parent | 6462d8566cc10b47473803e3e9e9547cec6524be (diff) | |
| download | RSAComb-30f1449365f51d3e138a3fcfd46aca2a4a4c55b9.tar.gz RSAComb-30f1449365f51d3e138a3fcfd46aca2a4a4c55b9.zip | |
Add alternative conversion of axioms using switch-cases
This is part of an effort to move away from the Java-style visitor
pattern pushed by the OWLAPI and RDFox. Using a Scala approach will
allow us to be more flexible in the long run.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')
0 files changed, 0 insertions, 0 deletions