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/RDFoxRuleShards.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/RDFoxRuleShards.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxRuleShards.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/main/scala/rsacomb/RDFoxRuleShards.scala b/src/main/scala/rsacomb/RDFoxRuleShards.scala index 8f72983..b61cc38 100644 --- a/src/main/scala/rsacomb/RDFoxRuleShards.scala +++ b/src/main/scala/rsacomb/RDFoxRuleShards.scala | |||
| @@ -1,6 +1,5 @@ | |||
| 1 | package rsacomb | 1 | package rsacomb |
| 2 | 2 | ||
| 3 | import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula} | 3 | import tech.oxfordsemantic.jrdfox.logic.datalog.{TupleTableAtom, BodyFormula} |
| 4 | |||
| 5 | case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula]) | ||
| 6 | 4 | ||
| 5 | case class RDFoxRuleShards(res: List[TupleTableAtom], ext: List[BodyFormula]) | ||