From 733d962f27631cfb41de7b47d1fcec35b439537b Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 9 Oct 2020 19:15:27 +0200 Subject: Simplify ProgramGenerator constructor If we pass the whole ontology there is no need to also provide the set of unsafe roles. --- src/main/scala/rsacomb/RDFoxUtil.scala | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'src/main/scala/rsacomb/RDFoxUtil.scala') diff --git a/src/main/scala/rsacomb/RDFoxUtil.scala b/src/main/scala/rsacomb/RDFoxUtil.scala index b523d4e..8a144c6 100644 --- a/src/main/scala/rsacomb/RDFoxUtil.scala +++ b/src/main/scala/rsacomb/RDFoxUtil.scala @@ -12,14 +12,21 @@ import tech.oxfordsemantic.jrdfox.client.{ } import tech.oxfordsemantic.jrdfox.formats.SPARQLParser +import tech.oxfordsemantic.jrdfox.logic.{IRI => RDFox_IRI} +import org.semanticweb.owlapi.model.{IRI => OWL_IRI} + object RDFoxUtil { - implicit def owlapi2rdfox(iri: org.semanticweb.owlapi.model.IRI): IRI = { - IRI.create(iri.getIRIString()) + implicit def rdfox2owlapi(iri: RDFox_IRI): OWL_IRI = { + OWL_IRI.create(iri.getIRI) + } + + implicit def owlapi2rdfox(iri: OWL_IRI): RDFox_IRI = { + RDFox_IRI.create(iri.getIRIString()) } - implicit def owlapi2rdfox(iri: String): IRI = { - IRI.create(iri) + implicit def owlapi2rdfox(iri: String): RDFox_IRI = { + RDFox_IRI.create(iri) } def openConnection( -- cgit v1.2.3