aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/Main.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-13 18:48:24 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-13 18:48:24 +0000
commit903983b48d49e17e035bd233d94cd5cb58661a19 (patch)
treed168e7a82cb8f92d1cd3ae7584f333cbb7ccb5e7 /src/main/scala/rsacomb/Main.scala
parent697f292d100a65c7ceb0b20fd0c291e31ce83f54 (diff)
downloadRSAComb-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