From 0ccecbe8718c90201700897ee33e9082b7bfce50 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 15 Jul 2020 17:48:11 +0100 Subject: Rename source code directory structure --- .../scala/rsacomb/RDFoxPropertyExprConverter.scala | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala (limited to 'src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala') 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 @@ +package rsacomb + +import org.semanticweb.owlapi.model.{OWLPropertyExpression, OWLObjectProperty} +import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx + +import tech.oxfordsemantic.jrdfox.logic.{Atom, Predicate, Term, Variable, Literal} + +import rsacomb.SkolemStrategy + +class RDFoxPropertyExprConverter(term1 : Term, term2 : Term, skolem : SkolemStrategy) + extends OWLPropertyExpressionVisitorEx[List[Atom]] +{ + + override + def visit(expr : OWLObjectProperty) : List[Atom] = { + val name = expr.getIRI.getIRIString + List(Atom.create(Predicate.create(name), term1, term2)) + } + + def doDefault(expr : OWLPropertyExpression) : List[Atom] = List() + +} // class RDFoxPropertyExprConverter + -- cgit v1.2.3