diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
| commit | 4df351d3b1d11fc045005323c38ba3528de631ea (patch) | |
| tree | 35f809e3def7d55602ed124f7b194db29407ba33 /src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |
| parent | e1a04294ed8737444e40323474f4084cb64c1d55 (diff) | |
| download | RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.tar.gz RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.zip | |
Rework RSA as a utility object
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) |