aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-07-15 17:48:11 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-07-15 17:48:11 +0100
commit0ccecbe8718c90201700897ee33e9082b7bfce50 (patch)
tree04a696141e8a6f5dd5e1e6c681b32dd03995cd41 /src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
parent58b8d3c11a9deebb40e21c70d0b085d01cada745 (diff)
downloadRSAComb-0ccecbe8718c90201700897ee33e9082b7bfce50.tar.gz
RSAComb-0ccecbe8718c90201700897ee33e9082b7bfce50.zip
Rename source code directory structure
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
new file mode 100644
index 0000000..2885ed9
--- /dev/null
+++ b/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
@@ -0,0 +1,23 @@
1package rsacomb
2
3import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty}
4import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx
5
6import tech.oxfordsemantic.jrdfox.logic.{Atom, Predicate, Term, Variable, Literal}
7
8import rsacomb.SkolemStrategy
9
10class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy)
11 extends OWLPropertyExpressionVisitorEx[List[Atom]]
12{
13
14 override
15 def visit(expr : OWLObjectProperty) : List[Atom] = {
16 val name = expr.getIRI.getIRIString
17 List(Atom.create(Predicate.create(name), term1, term2))
18 }
19
20 def doDefault(expr : OWLPropertyExpression) : List[Atom] = List()
21
22} // class RDFoxPropertyExprConverter
23