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/RDFoxPropertyExprConverter.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/RDFoxPropertyExprConverter.scala')
-rw-r--r-- | src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala index 525ec62..826e965 100644 --- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala +++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | |||
@@ -17,7 +17,7 @@ class RDFoxPropertyExprConverter( | |||
17 | ) extends OWLPropertyExpressionVisitorEx[List[TupleTableAtom]] { | 17 | ) extends OWLPropertyExpressionVisitorEx[List[TupleTableAtom]] { |
18 | 18 | ||
19 | // Automatically converts OWLAPI types into RDFox equivalent types. | 19 | // Automatically converts OWLAPI types into RDFox equivalent types. |
20 | import RDFoxUtil.owlapi2rdfox; | 20 | import implicits.RDFox._ |
21 | 21 | ||
22 | override def visit(expr: OWLObjectProperty): List[TupleTableAtom] = { | 22 | override def visit(expr: OWLObjectProperty): List[TupleTableAtom] = { |
23 | val base = expr.getIRI.getIRIString | 23 | val base = expr.getIRI.getIRIString |