diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-04 11:11:57 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-04 11:11:57 +0100 |
| commit | e8518528a77edf6a28449a57bd96048a6232a5db (patch) | |
| tree | 1dca0e5f8cb1b465e85096f4e5699dd75e77b0f0 /src/test/scala | |
| parent | 88597503975804e3cb83d116f3cc9a3f12c57461 (diff) | |
| download | RSAComb-e8518528a77edf6a28449a57bd96048a6232a5db.tar.gz RSAComb-e8518528a77edf6a28449a57bd96048a6232a5db.zip | |
Adapt LP conversion to RSA check
Part of the process involves the search of unsafe roles in the input
ontology. This is still to be implemented and for now the set of unsafe
roles for the testing example is hardcoded.
Diffstat (limited to 'src/test/scala')
0 files changed, 0 insertions, 0 deletions