diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-16 17:47:32 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-16 17:47:32 +0100 |
| commit | 633529ca7a911646048886b7e2e0d1d98c94fdf3 (patch) | |
| tree | 3137cdb01f023f5d345e32a07f1b60c165a519b5 /src/main/scala/rsacomb/RDFoxRuleShards.scala | |
| parent | 95fa2a0090110a90d9a0f4948a4ced252d8ec111 (diff) | |
| download | RSAComb-633529ca7a911646048886b7e2e0d1d98c94fdf3.tar.gz RSAComb-633529ca7a911646048886b7e2e0d1d98c94fdf3.zip | |
Update to JRDFox v3.1.0
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxRuleShards.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxRuleShards.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RDFoxRuleShards.scala b/src/main/scala/rsacomb/RDFoxRuleShards.scala index bce31d2..8f72983 100644 --- a/src/main/scala/rsacomb/RDFoxRuleShards.scala +++ b/src/main/scala/rsacomb/RDFoxRuleShards.scala | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | package rsacomb | 1 | package rsacomb |
| 2 | 2 | ||
| 3 | import tech.oxfordsemantic.jrdfox.logic.{Rule, Atom, Literal} | 3 | import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula} |
| 4 | 4 | ||
| 5 | case class RDFoxRuleShards(res : List[Atom], ext : List[Literal]) | 5 | case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula]) |
| 6 | 6 | ||