diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:16:02 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:16:02 +0000 |
| commit | 43234b253a74e71977ce29d0c7e2947e64fc6966 (patch) | |
| tree | 02902f1d8afcbd21c20062f31ad4d3e5f8fc5ce7 /src/test/scala/rsacomb | |
| parent | 159605a3b8b55a8394600a9c73d0c8bccba0546f (diff) | |
| download | RSAComb-43234b253a74e71977ce29d0c7e2947e64fc6966.tar.gz RSAComb-43234b253a74e71977ce29d0c7e2947e64fc6966.zip | |
Fix SKOLEM call creation during function skolemization
The first argument of a SKOLEM call needs to be a literal string. Note
that this is not enforced in any way by RDFox, that will fail silently.
Diffstat (limited to 'src/test/scala/rsacomb')
0 files changed, 0 insertions, 0 deletions