aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxAxiomConverter.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxAxiomConverter.scala12
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}
9import org.semanticweb.owlapi.model.OWLAxiomVisitorEx 9import org.semanticweb.owlapi.model.OWLAxiomVisitorEx
10 10
11import tech.oxfordsemantic.jrdfox.logic.{Rule, BodyFormula} 11import tech.oxfordsemantic.jrdfox.logic.datalog.{
12import tech.oxfordsemantic.jrdfox.logic.{Atom, Term, Variable, Literal} 12 Rule,
13import tech.oxfordsemantic.jrdfox.logic.{TupleTableName} 13 BodyFormula,
14 TupleTableAtom,
15 TupleTableName
16}
17import tech.oxfordsemantic.jrdfox.logic.expression.{Term, Variable, Literal}
14 18
15import scala.collection.JavaConverters._ 19import 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