diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-15 17:48:11 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-07-15 17:48:11 +0100 |
commit | 0ccecbe8718c90201700897ee33e9082b7bfce50 (patch) | |
tree | 04a696141e8a6f5dd5e1e6c681b32dd03995cd41 /src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala | |
parent | 58b8d3c11a9deebb40e21c70d0b085d01cada745 (diff) | |
download | RSAComb-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.scala | 23 |
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 @@ | |||
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.{Atom, Predicate, Term, Variable, Literal} | ||
7 | |||
8 | import rsacomb.SkolemStrategy | ||
9 | |||
10 | class 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 | |||