Add reworked code from previous repo

1 files changed, 23 insertions, 0 deletions

diff --git a/src/main/scala/example/RDFoxPropertyExprConverter.scala b/src/main/scala/example/RDFoxPropertyExprConverter.scala
new file mode 100644
index 0000000..2885ed9
--- /dev/null
+++ b/src/main/scala/example/RDFoxPropertyExprConverter.scala
@@ -0,0 +1,23 @@
+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
+