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.scala5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
index 2885ed9..8d472bf 100644
--- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
+++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
@@ -3,7 +3,8 @@ package rsacomb
3import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty} 3import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty}
4import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx 4import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx
5 5
6import tech.oxfordsemantic.jrdfox.logic.{Atom, Predicate, Term, Variable, Literal} 6import tech.oxfordsemantic.jrdfox.logic.{TupleTableName}
7import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal}
7 8
8import rsacomb.SkolemStrategy 9import rsacomb.SkolemStrategy
9 10
@@ -14,7 +15,7 @@ class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStra
14 override 15 override
15 def visit(expr : OWLObjectProperty) : List[Atom] = { 16 def visit(expr : OWLObjectProperty) : List[Atom] = {
16 val name = expr.getIRI.getIRIString 17 val name = expr.getIRI.getIRIString
17 List(Atom.create(Predicate.create(name), term1, term2)) 18 List(Atom.create(TupleTableName.create(name), term1, term2))
18 } 19 }
19 20
20 def doDefault(expr : OWLPropertyExpression) : List[Atom] = List() 21 def doDefault(expr : OWLPropertyExpression) : List[Atom] = List()