From 33431758891fcc3e455fb292067114ca3a546507 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 24 Nov 2020 12:02:43 +0000 Subject: Turn implicit classes wrappers into objects --- src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala index d5956ae..0f3b16a 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala @@ -28,14 +28,14 @@ import uk.ac.ox.cs.rsacomb.converter.{ RDFoxAxiomConverter, RDFoxPropertyExprConverter } -import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom import uk.ac.ox.cs.rsacomb.suffix.{Empty, Forward, Backward, Inverse} import uk.ac.ox.cs.rsacomb.util.RSA -class CanonicalModel(val ontology: RSAOntology) extends RSAAxiom { +class CanonicalModel(val ontology: RSAOntology) { import implicits.RDFox._ import implicits.JavaCollections._ + import uk.ac.ox.cs.rsacomb.implicits.RSAAxiom._ val rolesAdditionalRules: List[Rule] = { // Given a role (predicate) compute additional logic rules -- cgit v1.2.3