diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-06 18:46:23 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-06 18:46:23 +0100 |
| commit | 378e56852d8b5875ce5b34e91799dd6e704f2d48 (patch) | |
| tree | 1b502ff4b916e3c60100082c4619ce6b01b05839 /src/test/scala/rsacomb/OWLClassSpec.scala | |
| parent | 3408515a868ca65ab907e21160f75c858ead8d46 (diff) | |
| download | RSAComb-378e56852d8b5875ce5b34e91799dd6e704f2d48.tar.gz RSAComb-378e56852d8b5875ce5b34e91799dd6e704f2d48.zip | |
Add unsafety check for ontology roles
The current implementation is still a first attempt and by far not the
most effective. It is still missing some corner cases and extensive
testing.
Diffstat (limited to 'src/test/scala/rsacomb/OWLClassSpec.scala')
0 files changed, 0 insertions, 0 deletions