diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-13 18:48:24 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-13 18:48:24 +0000 |
commit | 903983b48d49e17e035bd233d94cd5cb58661a19 (patch) | |
tree | d168e7a82cb8f92d1cd3ae7584f333cbb7ccb5e7 /src/main/scala/rsacomb/Main.scala | |
parent | 697f292d100a65c7ceb0b20fd0c291e31ce83f54 (diff) | |
download | RSAComb-903983b48d49e17e035bd233d94cd5cb58661a19.tar.gz RSAComb-903983b48d49e17e035bd233d94cd5cb58661a19.zip |
Simplify role extraction from axioms
The previous implementation was using the visitor pattern suggested by
the OWLAPI. This was buggy for some reasons and resulting in runtime
exceptions (probably due to the complex class tree of the API). In Scala
using type pattern matching results in a shorter and more readable way
of traversing an AST.
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
0 files changed, 0 insertions, 0 deletions