diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-08 09:35:48 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-08 09:35:48 +0100 |
| commit | f3b29090e6139b90b4bda0e46b5d3bb2daad65a8 (patch) | |
| tree | 4aad1fe673cdc9ad3098c5076d492e667b14c0f7 /src/main/scala/rsacomb/RDFox.scala | |
| parent | 378e56852d8b5875ce5b34e91799dd6e704f2d48 (diff) | |
| download | RSAComb-f3b29090e6139b90b4bda0e46b5d3bb2daad65a8.tar.gz RSAComb-f3b29090e6139b90b4bda0e46b5d3bb2daad65a8.zip | |
Add condition 2 for role unsafety detection
Diffstat (limited to 'src/main/scala/rsacomb/RDFox.scala')
0 files changed, 0 insertions, 0 deletions