diff options
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala')
-rw-r--r-- | src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | 7 |
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} | |||
7 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal} | 7 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal} |
8 | 8 | ||
9 | import rsacomb.SkolemStrategy | 9 | import rsacomb.SkolemStrategy |
10 | import org.semanticweb.owlapi.model.OWLObjectInverseOf | ||
10 | 11 | ||
11 | class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy) | 12 | class 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 |