diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 13:16:30 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 13:16:30 +0000 |
| commit | f8e612288f3a604ee1bd60016b7320f00b763e6b (patch) | |
| tree | 5ab556a5d2c2c0a95ab92a0b31550db74500ae47 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
| parent | c3ff5305c30cdf31755972df4c3dc554d5246ae9 (diff) | |
| download | RSAComb-f8e612288f3a604ee1bd60016b7320f00b763e6b.tar.gz RSAComb-f8e612288f3a604ee1bd60016b7320f00b763e6b.zip | |
Fix bug for OWLObjectSubPropertyOfAxiom
A version of the rule with an empty suffix was missing. Note that this
is not completely clear from the paper.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
0 files changed, 0 insertions, 0 deletions