diff options
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxAxiomConverter.scala')
-rw-r--r-- | src/main/scala/rsacomb/RDFoxAxiomConverter.scala | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala index dab6765..2d04c56 100644 --- a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala +++ b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |||
@@ -8,9 +8,13 @@ import org.semanticweb.owlapi.model.{ | |||
8 | } | 8 | } |
9 | import org.semanticweb.owlapi.model.OWLAxiomVisitorEx | 9 | import org.semanticweb.owlapi.model.OWLAxiomVisitorEx |
10 | 10 | ||
11 | import tech.oxfordsemantic.jrdfox.logic.{Rule, BodyFormula} | 11 | import tech.oxfordsemantic.jrdfox.logic.datalog.{ |
12 | import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal} | 12 | Rule, |
13 | import tech.oxfordsemantic.jrdfox.logic.{TupleTableName} | 13 | BodyFormula, |
14 | TupleTableAtom, | ||
15 | TupleTableName | ||
16 | } | ||
17 | import tech.oxfordsemantic.jrdfox.logic.expression.{Term, Variable, Literal} | ||
14 | 18 | ||
15 | import scala.collection.JavaConverters._ | 19 | import scala.collection.JavaConverters._ |
16 | 20 | ||
@@ -71,7 +75,7 @@ class RDFoxAxiomConverter( | |||
71 | new RDFoxPropertyExprConverter(term, term1, suffix) | 75 | new RDFoxPropertyExprConverter(term, term1, suffix) |
72 | val superVisitor = new RDFoxPropertyExprConverter(term, term1, suffix) | 76 | val superVisitor = new RDFoxPropertyExprConverter(term, term1, suffix) |
73 | val body: List[BodyFormula] = axiom.getSubProperty.accept(subVisitor) | 77 | val body: List[BodyFormula] = axiom.getSubProperty.accept(subVisitor) |
74 | val head: List[Atom] = axiom.getSuperProperty.accept(superVisitor) | 78 | val head: List[TupleTableAtom] = axiom.getSuperProperty.accept(superVisitor) |
75 | List(Rule.create(head.asJava, body.asJava)) | 79 | List(Rule.create(head.asJava, body.asJava)) |
76 | } | 80 | } |
77 | 81 | ||