diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-07 17:55:34 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-07 17:55:34 +0200 |
| commit | 3bc39ecf2eb168e1124bb123b9df0a8b933e6955 (patch) | |
| tree | f92491ab1d0158a95ea831210f32f6c328464601 /src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | |
| parent | d085aeae07a729467047aba50b22e9baa7a4d10f (diff) | |
| download | RSAComb-3bc39ecf2eb168e1124bb123b9df0a8b933e6955.tar.gz RSAComb-3bc39ecf2eb168e1124bb123b9df0a8b933e6955.zip | |
Introduce naive fresh variable generator
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 340fa90..6eecdbf 100644 --- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala +++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | |||
| @@ -3,7 +3,7 @@ package rsacomb | |||
| 3 | import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty} | 3 | import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty} |
| 4 | import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx | 4 | import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx |
| 5 | 5 | ||
| 6 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, IRI, Variable, Literal} | 6 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, IRI, Literal} |
| 7 | 7 | ||
| 8 | import rsacomb.SkolemStrategy | 8 | import rsacomb.SkolemStrategy |
| 9 | import org.semanticweb.owlapi.model.OWLObjectInverseOf | 9 | import org.semanticweb.owlapi.model.OWLObjectInverseOf |