1 files changed, 0 insertions, 23 deletions

diff --git a/src/main/scala/example/RDFoxPropertyExprConverter.scala b/src/main/scala/example/RDFoxPropertyExprConverter.scala
deleted file mode 100644
index 2885ed9..0000000
--- a/src/main/scala/example/RDFoxPropertyExprConverter.scala
+++ /dev/null
@@ -1,23 +0,0 @@
-package rsacomb
-
-import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty}
-import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx
-
-import tech.oxfordsemantic.jrdfox.logic.{Atom, Predicate, Term, Variable, Literal}
-
-import rsacomb.SkolemStrategy
-
-class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy)
-  extends OWLPropertyExpressionVisitorEx[List[Atom]]
-{
-
-  override
-  def visit(expr : OWLObjectProperty) : List[Atom] = {
-    val name = expr.getIRI.getIRIString
-    List(Atom.create(Predicate.create(name), term1, term2))
-  }
-
-  def doDefault(expr : OWLPropertyExpression) : List[Atom] = List()
-
-} // class RDFoxPropertyExprConverter
-