1 files changed, 0 insertions, 159 deletions

diff --git a/src/main/scala/rsacomb/RDFoxClassExprConverter.scala b/src/main/scala/rsacomb/RDFoxClassExprConverter.scala
deleted file mode 100644
index f4187ed..0000000
--- a/src/main/scala/rsacomb/RDFoxClassExprConverter.scala
+++ /dev/null
@@ -1,159 +0,0 @@
-package rsacomb
-
-import scala.collection.JavaConverters._
-import java.util.stream.{Stream, Collectors}
-
-import org.semanticweb.owlapi.model.{
-  OWLClassExpression,
-  OWLClass,
-  OWLObjectSomeValuesFrom,
-  OWLObjectIntersectionOf,
-  OWLObjectOneOf,
-  OWLObjectMaxCardinality
-}
-import org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx
-import tech.oxfordsemantic.jrdfox.logic.Datatype
-import tech.oxfordsemantic.jrdfox.logic.datalog.{
-  BindAtom,
-  TupleTableName,
-  TupleTableAtom
-}
-import tech.oxfordsemantic.jrdfox.logic.expression.{
-  Term,
-  Literal,
-  Variable,
-  FunctionCall,
-  IRI
-}
-
-import org.semanticweb.owlapi.model.OWLObjectPropertyExpression
-import org.semanticweb.owlapi.model.OWLObjectProperty
-
-import suffix.{RSASuffix, Empty}
-import util.RSA
-
-object RDFoxClassExprConverter {
-
-  def apply(
-      term: Term,
-      unsafe: List[OWLObjectPropertyExpression] = List(),
-      skolem: SkolemStrategy = SkolemStrategy.None,
-      suffix: RSASuffix = Empty
-  ): RDFoxClassExprConverter =
-    new RDFoxClassExprConverter(term, unsafe, skolem, suffix)
-
-  def merge(rules: List[RDFoxRuleShards]): RDFoxRuleShards = {
-    rules.foldLeft(RDFoxRuleShards(List(), List())) { (r1, r2) =>
-      RDFoxRuleShards(
-        r1.res ++ r2.res,
-        r1.ext ++ r2.ext
-      )
-    }
-  }
-
-} // object RDFoxClassExprConverter
-
-class RDFoxClassExprConverter(
-    term: Term,
-    unsafe: List[OWLObjectPropertyExpression],
-    skolem: SkolemStrategy,
-    suffix: RSASuffix
-) extends OWLClassExpressionVisitorEx[RDFoxRuleShards] {
-
-  import implicits.RDFox._
-
-  // OWLClass
-  override def visit(expr: OWLClass): RDFoxRuleShards = {
-    val iri: IRI = if (expr.isTopEntity()) IRI.THING else expr.getIRI()
-    val atom = List(TupleTableAtom.rdf(term, IRI.RDF_TYPE, iri))
-    RDFoxRuleShards(atom, List())
-  }
-
-  // OWLObjectIntersectionOf
-  override def visit(expr: OWLObjectIntersectionOf): RDFoxRuleShards = {
-    val visitor = new RDFoxClassExprConverter(term, unsafe, skolem, suffix)
-    // TODO: maybe using `flatMap` instead of `merge` + `map` works as well
-    RDFoxClassExprConverter.merge(
-      expr.asConjunctSet.asScala.toList
-        .map((e: OWLClassExpression) => e.accept(visitor))
-    )
-  }
-
-  // OWLObjectOneOf
-  override def visit(expr: OWLObjectOneOf): RDFoxRuleShards = {
-    val visitor = RDFoxClassExprConverter(term, unsafe, skolem, suffix)
-    // TODO: review nominal handling. Here we are taking "just" one
-    val ind = expr.individuals
-      .collect(Collectors.toList())
-      .asScala
-      .filter(_.isOWLNamedIndividual)
-      .head // restricts to proper "nominals"
-      .asOWLNamedIndividual
-      .getIRI
-    val atom = List(
-      TupleTableAtom.rdf(term, IRI.SAME_AS, ind)
-    )
-    RDFoxRuleShards(atom, List())
-  }
-
-  // OWLObjectSomeValuesFrom
-  override def visit(expr: OWLObjectSomeValuesFrom): RDFoxRuleShards = {
-    val y = RSAOntology.genFreshVariable()
-    // Here we are assuming a role name
-    val prop = expr.getProperty()
-    // Computes the result of rule skolemization. Depending on the used
-    // technique it might involve the introduction of additional atoms,
-    // and/or fresh constants and variables.
-    val (head, body, term1) = skolem match {
-      case SkolemStrategy.None        => (List(), List(), y)
-      case SkolemStrategy.Constant(c) => (List(), List(), c)
-      case SkolemStrategy.ConstantRSA(c) => {
-        if (unsafe.contains(prop))
-          (List(RSA.PE(term, c), RSA.U(c)), List(), c)
-        else
-          (List(), List(), c)
-      }
-      case SkolemStrategy.Standard(f) => {
-        (
-          List(),
-          List(BindAtom.create(FunctionCall.create("SKOLEM", f, term), y)),
-          y
-        )
-      }
-    }
-    val classVisitor =
-      new RDFoxClassExprConverter(term1, unsafe, skolem, suffix)
-    val classResult = expr.getFiller.accept(classVisitor)
-    val propertyVisitor = new RDFoxPropertyExprConverter(term, term1, suffix)
-    val propertyResult = expr.getProperty.accept(propertyVisitor)
-    RDFoxRuleShards(
-      classResult.res ++ propertyResult ++ head,
-      classResult.ext ++ body
-    )
-  }
-
-  // OWLObjectMaxCardinality
-  override def visit(expr: OWLObjectMaxCardinality): RDFoxRuleShards = {
-    // TODO: again, no hardcoded variables
-    val vars =
-      List(RSAOntology.genFreshVariable(), RSAOntology.genFreshVariable())
-    val classResult = RDFoxClassExprConverter.merge(
-      vars
-        .map(new RDFoxClassExprConverter(_, unsafe, skolem, suffix))
-        .map(expr.getFiller.accept(_))
-    )
-    val propertyResult =
-      vars
-        .map(new RDFoxPropertyExprConverter(term, _, suffix))
-        .map(expr.getProperty.accept(_))
-        .flatten
-    RDFoxRuleShards(
-      List(TupleTableAtom.rdf(vars(0), IRI.SAME_AS, vars(1))),
-      classResult.res ++ propertyResult
-    )
-  }
-
-  def doDefault(expr: OWLClassExpression): RDFoxRuleShards =
-    RDFoxRuleShards(List(), List())
-
-} // class RDFoxClassExprConverter