diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:00:34 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:00:34 +0000 |
| commit | 360675d5b659ba8e9e5fe83dfa038d27f962b4de (patch) | |
| tree | 38e21ad6270da7c85f1d0069ced18dd9aea12045 /src/main/scala/rsacomb/SkolemStrategy.scala | |
| parent | 6df3ffe815a5ea65da92e818c1eb48fca13bc5ce (diff) | |
| download | RSAComb-360675d5b659ba8e9e5fe83dfa038d27f962b4de.tar.gz RSAComb-360675d5b659ba8e9e5fe83dfa038d27f962b4de.zip | |
Update code to RDFox v4.0
Diffstat (limited to 'src/main/scala/rsacomb/SkolemStrategy.scala')
| -rw-r--r-- | src/main/scala/rsacomb/SkolemStrategy.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/SkolemStrategy.scala b/src/main/scala/rsacomb/SkolemStrategy.scala index 9d45b4c..b05cd17 100644 --- a/src/main/scala/rsacomb/SkolemStrategy.scala +++ b/src/main/scala/rsacomb/SkolemStrategy.scala | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | package rsacomb | 1 | package rsacomb |
| 2 | 2 | ||
| 3 | import tech.oxfordsemantic.jrdfox.logic.IRI | 3 | import tech.oxfordsemantic.jrdfox.logic.expression.IRI |
| 4 | 4 | ||
| 5 | sealed trait SkolemStrategy | 5 | sealed trait SkolemStrategy |
| 6 | 6 | ||