diff options
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 | ||