src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

package rsacomb

import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty}
import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx

import tech.oxfordsemantic.jrdfox.logic.datalog.TupleTableAtom
import tech.oxfordsemantic.jrdfox.logic.expression.{Term, IRI, Literal}

import org.semanticweb.owlapi.model.OWLObjectInverseOf

import suffix.{RSASuffix, Inverse}

class RDFoxPropertyExprConverter(
    term1: Term,
    term2: Term,
    suffix: RSASuffix
) extends OWLPropertyExpressionVisitorEx[List[TupleTableAtom]] {

  // Automatically converts OWLAPI types into RDFox equivalent types.
  import RDFoxUtil.owlapi2rdfox;

  override def visit(expr: OWLObjectProperty): List[TupleTableAtom] = {
    val base = expr.getIRI.getIRIString
    val pred = IRI.create(base :: suffix)
    List(TupleTableAtom.rdf(term1, pred, term2))
  }

  override def visit(expr: OWLObjectInverseOf): List[TupleTableAtom] = {
    val visitor = new RDFoxPropertyExprConverter(term1, term2, suffix + Inverse)
    expr.getInverse.accept(visitor)
  }

  def doDefault(expr: OWLPropertyExpression): List[TupleTableAtom] = List()

} // class RDFoxPropertyExprConverter