diff options
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]) | ||