aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala7
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}
7import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal} 7import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal}
8 8
9import rsacomb.SkolemStrategy 9import rsacomb.SkolemStrategy
10import org.semanticweb.owlapi.model.OWLObjectInverseOf
10 11
11class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy) 12class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy)
12 extends OWLPropertyExpressionVisitorEx[List[Atom]] 13 extends OWLPropertyExpressionVisitorEx[List[Atom]]
@@ -18,6 +19,12 @@ class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStra
18 List(Atom.create(TupleTableName.create(name), term1, term2)) 19 List(Atom.create(TupleTableName.create(name), term1, term2))
19 } 20 }
20 21
22 override
23 def visit(expr : OWLObjectInverseOf) : List[Atom] = {
24 val name = expr.getInverse.getNamedProperty.getIRI.getIRIString;
25 List(Atom.create(TupleTableName.create(name ++ "_inv"), term1, term2))
26 }
27
21 def doDefault(expr : OWLPropertyExpression) : List[Atom] = List() 28 def doDefault(expr : OWLPropertyExpression) : List[Atom] = List()
22 29
23} // class RDFoxPropertyExprConverter 30} // class RDFoxPropertyExprConverter