From 88597503975804e3cb83d116f3cc9a3f12c57461 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 3 Aug 2020 09:52:53 +0100 Subject: Add DL renderer for input rules --- src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala') 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 -- cgit v1.2.3