Add DL renderer for input rules

1 files changed, 7 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
index 8d472bf..78ac98c 100644
--- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
+++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
@@ -7,6 +7,7 @@ import tech.oxfordsemantic.jrdfox.logic.{TupleTableName}
 import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal}
 
 import rsacomb.SkolemStrategy
+import org.semanticweb.owlapi.model.OWLObjectInverseOf
 
 class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy)
   extends OWLPropertyExpressionVisitorEx[List[Atom]]
@@ -18,6 +19,12 @@ class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStra
     List(Atom.create(TupleTableName.create(name), term1, term2))
   }
 
+  override
+  def visit(expr : OWLObjectInverseOf) : List[Atom] = {
+    val name = expr.getInverse.getNamedProperty.getIRI.getIRIString;
+    List(Atom.create(TupleTableName.create(name ++ "_inv"), term1, term2))
+  }
+
   def doDefault(expr : OWLPropertyExpression) : List[Atom] = List()
 
 } // class RDFoxPropertyExprConverter