diff options
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxAxiomConverter.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxAxiomConverter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala index 0368b7c..9b78e8e 100644 --- a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala +++ b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |||
| @@ -78,7 +78,7 @@ class RDFoxAxiomConverter( | |||
| 78 | } | 78 | } |
| 79 | 79 | ||
| 80 | override def visit(axiom: OWLSubObjectPropertyOfAxiom): List[Rule] = { | 80 | override def visit(axiom: OWLSubObjectPropertyOfAxiom): List[Rule] = { |
| 81 | val term1 = RSA.getFreshVariable() | 81 | val term1 = RSAOntology.genFreshVariable() |
| 82 | val subVisitor = | 82 | val subVisitor = |
| 83 | new RDFoxPropertyExprConverter(term, term1, suffix) | 83 | new RDFoxPropertyExprConverter(term, term1, suffix) |
| 84 | val superVisitor = new RDFoxPropertyExprConverter(term, term1, suffix) | 84 | val superVisitor = new RDFoxPropertyExprConverter(term, term1, suffix) |