From ace698dedd486e64127aeb96af6675fa461377ed Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 19 May 2022 15:11:06 +0100 Subject: refactor: RSA utils --- src/main/scala/uk/ac/ox/cs/rsacomb/converter/SkolemStrategy.scala | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/converter') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/SkolemStrategy.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/SkolemStrategy.scala index 92763d0..1a46e2e 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/SkolemStrategy.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/SkolemStrategy.scala @@ -20,6 +20,8 @@ import org.semanticweb.owlapi.model.OWLAxiom import tech.oxfordsemantic.jrdfox.logic.Datatype import tech.oxfordsemantic.jrdfox.logic.expression.{Literal, IRI} +import uk.ac.ox.cs.rsacomb.util.RSA + sealed trait SkolemStrategy { def dup(a: OWLAxiom): SkolemStrategy } @@ -91,5 +93,5 @@ case class Standard(axiom: OWLAxiom)(implicit toString: (OWLAxiom) => String) case class Constant(axiom: OWLAxiom)(implicit toString: (OWLAxiom) => String) extends SkolemStrategy { def dup(_axiom: OWLAxiom): Constant = copy(axiom = _axiom)(toString) - lazy val iri = IRI.create(s"c_${toString(axiom)}") + lazy val iri = RSA(s"c_${toString(axiom)}") } -- cgit v1.2.3