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