diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 19:13:25 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 19:13:25 +0000 |
| commit | 1efc189e90240c162b54cbc50362b46786643dad (patch) | |
| tree | 9beabe0a2af7ba1674aea0060787782aa72e8a83 /src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | |
| parent | a45aeff72b82bbc9a52f10929bf15b414c868525 (diff) | |
| download | RSAComb-1efc189e90240c162b54cbc50362b46786643dad.tar.gz RSAComb-1efc189e90240c162b54cbc50362b46786643dad.zip | |
Reorganize project with Java-like folder structure
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala deleted file mode 100644 index 826e965..0000000 --- a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala +++ /dev/null | |||
| @@ -1,35 +0,0 @@ | |||
| 1 | package rsacomb | ||
| 2 | |||
| 3 | import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty} | ||
| 4 | import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx | ||
| 5 | |||
| 6 | import tech.oxfordsemantic.jrdfox.logic.datalog.TupleTableAtom | ||
| 7 | import tech.oxfordsemantic.jrdfox.logic.expression.{Term, IRI, Literal} | ||
| 8 | |||
| 9 | import org.semanticweb.owlapi.model.OWLObjectInverseOf | ||
| 10 | |||
| 11 | import suffix.{RSASuffix, Inverse} | ||
| 12 | |||
| 13 | class RDFoxPropertyExprConverter( | ||
| 14 | term1: Term, | ||
| 15 | term2: Term, | ||
| 16 | suffix: RSASuffix | ||
| 17 | ) extends OWLPropertyExpressionVisitorEx[List[TupleTableAtom]] { | ||
| 18 | |||
| 19 | // Automatically converts OWLAPI types into RDFox equivalent types. | ||
| 20 | import implicits.RDFox._ | ||
| 21 | |||
| 22 | override def visit(expr: OWLObjectProperty): List[TupleTableAtom] = { | ||
| 23 | val base = expr.getIRI.getIRIString | ||
| 24 | val pred = IRI.create(base :: suffix) | ||
| 25 | List(TupleTableAtom.rdf(term1, pred, term2)) | ||
| 26 | } | ||
| 27 | |||
| 28 | override def visit(expr: OWLObjectInverseOf): List[TupleTableAtom] = { | ||
| 29 | val visitor = new RDFoxPropertyExprConverter(term1, term2, suffix + Inverse) | ||
| 30 | expr.getInverse.accept(visitor) | ||
| 31 | } | ||
| 32 | |||
| 33 | def doDefault(expr: OWLPropertyExpression): List[TupleTableAtom] = List() | ||
| 34 | |||
| 35 | } // class RDFoxPropertyExprConverter | ||
