Update code to RDFox v4.0

1 files changed, 8 insertions, 7 deletions

diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
index ba151d0..11d6d86 100644
--- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
+++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
@@ -3,7 +3,8 @@ package rsacomb
 import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty}
 import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx
 
-import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, IRI, Literal}
+import tech.oxfordsemantic.jrdfox.logic.datalog.TupleTableAtom
+import tech.oxfordsemantic.jrdfox.logic.expression.{Term, IRI, Literal}
 
 import org.semanticweb.owlapi.model.OWLObjectInverseOf
 
@@ -11,23 +12,23 @@ class RDFoxPropertyExprConverter(
     term1: Term,
     term2: Term,
     suffix: RSASuffix
-) extends OWLPropertyExpressionVisitorEx[List[Atom]] {
+) extends OWLPropertyExpressionVisitorEx[List[TupleTableAtom]] {
 
   // Automatically converts OWLAPI types into RDFox equivalent types.
   import RDFoxUtil.owlapi2rdfox;
 
-  override def visit(expr: OWLObjectProperty): List[Atom] = {
+  override def visit(expr: OWLObjectProperty): List[TupleTableAtom] = {
     val pred = IRI.create(expr.getIRI.getIRIString ++ suffix.getSuffix)
-    List(Atom.rdf(term1, pred, term2))
+    List(TupleTableAtom.rdf(term1, pred, term2))
   }
 
-  override def visit(expr: OWLObjectInverseOf): List[Atom] = {
+  override def visit(expr: OWLObjectInverseOf): List[TupleTableAtom] = {
     val pred = IRI.create(
       expr.getInverse.getNamedProperty.getIRI.getIRIString ++ suffix.getSuffix ++ "_inv"
     )
-    List(Atom.rdf(term1, pred, term2))
+    List(TupleTableAtom.rdf(term1, pred, term2))
   }
 
-  def doDefault(expr: OWLPropertyExpression): List[Atom] = List()
+  def doDefault(expr: OWLPropertyExpression): List[TupleTableAtom] = List()
 
 } // class RDFoxPropertyExprConverter