From 360675d5b659ba8e9e5fe83dfa038d27f962b4de Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 5 Nov 2020 20:00:34 +0000
Subject: Update code to RDFox v4.0

---
 src/main/scala/rsacomb/RDFoxRuleShards.scala | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/main/scala/rsacomb/RDFoxRuleShards.scala')

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 @@
 package rsacomb
 
-import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula}
-
-case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula])
+import tech.oxfordsemantic.jrdfox.logic.datalog.{TupleTableAtom, BodyFormula}
 
+case class RDFoxRuleShards(res: List[TupleTableAtom], ext: List[BodyFormula])
-- 
cgit v1.2.3