diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-16 17:47:32 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-16 17:47:32 +0100 |
| commit | 633529ca7a911646048886b7e2e0d1d98c94fdf3 (patch) | |
| tree | 3137cdb01f023f5d345e32a07f1b60c165a519b5 /src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |
| parent | 95fa2a0090110a90d9a0f4948a4ced252d8ec111 (diff) | |
| download | RSAComb-633529ca7a911646048886b7e2e0d1d98c94fdf3.tar.gz RSAComb-633529ca7a911646048886b7e2e0d1d98c94fdf3.zip | |
Update to JRDFox v3.1.0
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxAxiomConverter.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxAxiomConverter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala index 0a6272f..675ca7d 100644 --- a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala +++ b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |||
| @@ -3,8 +3,8 @@ package rsacomb | |||
| 3 | import org.semanticweb.owlapi.model.{OWLAxiom, OWLSubClassOfAxiom, OWLEquivalentClassesAxiom} | 3 | import org.semanticweb.owlapi.model.{OWLAxiom, OWLSubClassOfAxiom, OWLEquivalentClassesAxiom} |
| 4 | import org.semanticweb.owlapi.model.OWLAxiomVisitorEx | 4 | import org.semanticweb.owlapi.model.OWLAxiomVisitorEx |
| 5 | 5 | ||
| 6 | import tech.oxfordsemantic.jrdfox.logic.Rule | 6 | import tech.oxfordsemantic.jrdfox.logic.{Rule, BodyFormula} |
| 7 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Literal, Individual} | 7 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Literal} |
| 8 | 8 | ||
| 9 | import scala.collection.JavaConverters._ | 9 | import scala.collection.JavaConverters._ |
| 10 | 10 | ||