From 0ccecbe8718c90201700897ee33e9082b7bfce50 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 15 Jul 2020 17:48:11 +0100
Subject: Rename source code directory structure

---
 src/main/scala/example/RDFoxAxiomConverter.scala | 58 ------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 src/main/scala/example/RDFoxAxiomConverter.scala

(limited to 'src/main/scala/example/RDFoxAxiomConverter.scala')

diff --git a/src/main/scala/example/RDFoxAxiomConverter.scala b/src/main/scala/example/RDFoxAxiomConverter.scala
deleted file mode 100644
index 0a6272f..0000000
--- a/src/main/scala/example/RDFoxAxiomConverter.scala
+++ /dev/null
@@ -1,58 +0,0 @@
-package rsacomb
-
-import org.semanticweb.owlapi.model.{OWLAxiom, OWLSubClassOfAxiom, OWLEquivalentClassesAxiom}
-import org.semanticweb.owlapi.model.OWLAxiomVisitorEx
-
-import tech.oxfordsemantic.jrdfox.logic.Rule
-import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Literal, Individual}
-
-import scala.collection.JavaConverters._
-
-import rsacomb.SkolemStrategy
-import rsacomb.RDFoxRuleShards
-
-object RDFoxAxiomConverter {
-
-  def apply(term : Term, skolem : SkolemStrategy) : RDFoxAxiomConverter =
-	new RDFoxAxiomConverter(term, skolem)
-
-  def apply(term : Term) : RDFoxAxiomConverter =
-	new RDFoxAxiomConverter(term, SkolemStrategy.None)
-
-} // object RDFoxAxiomConverter
-
-class RDFoxAxiomConverter(term : Term, skolem : SkolemStrategy)
-  extends OWLAxiomVisitorEx[List[Rule]]
-{
-
-  override
-  def visit(axiom : OWLSubClassOfAxiom) : List[Rule] = {
-    // Skolemization is needed only for the head of an axiom
-    val subVisitor = new RDFoxClassExprConverter(term,SkolemStrategy.None)
-    val superVisitor = new RDFoxClassExprConverter(term, skolem)
-    // Each visitor returns a `RDFoxRuleShards`, a tuple (res,ext):
-    // - the `res` List is a list of atoms resulting from the conversion
-    //   of the axiom.
-    // - for some Class Expressions appearing in the head of an Axiom,
-    //   the conversion might produce atoms that need to appear in the
-    //   body (and not in the head) of the rule. This is what the `ext`
-    //   List is for.
-    val sub = axiom.getSubClass.accept(subVisitor)
-    val sup = axiom.getSuperClass.accept(superVisitor)
-    val head = sup.res.asJava
-    val body = (sub.res ++ sup.ext).asJava
-    List(Rule.create(head,body))
-  }
-
-  override
-  def visit(axiom : OWLEquivalentClassesAxiom) : List[Rule] = {
-	for {
-	  axiom1 <- axiom.asPairwiseAxioms.asScala.toList
-	  axiom2 <- axiom1.asOWLSubClassOfAxioms.asScala.toList
-	  rule   <- axiom2.accept(this)
-	} yield rule
-  }
-
-  def doDefault(axiom : OWLAxiom) : List[Rule] = List()
-
-} // class RDFoxAxiomConverter
-- 
cgit v1.2.3