aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxUtil.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-09 19:15:27 +0200
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-09 19:15:27 +0200
commit733d962f27631cfb41de7b47d1fcec35b439537b (patch)
treecc59768eab97e28a19ef1b30ad6d32f3a5266ef7 /src/main/scala/rsacomb/RDFoxUtil.scala
parent6d88de9bf58ddb499377a39b4d362e755fa379d2 (diff)
downloadRSAComb-733d962f27631cfb41de7b47d1fcec35b439537b.tar.gz
RSAComb-733d962f27631cfb41de7b47d1fcec35b439537b.zip
Simplify ProgramGenerator constructor
If we pass the whole ontology there is no need to also provide the set of unsafe roles.
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxUtil.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxUtil.scala15
1 files changed, 11 insertions, 4 deletions
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.{
12} 12}
13import tech.oxfordsemantic.jrdfox.formats.SPARQLParser 13import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
14 14
15import tech.oxfordsemantic.jrdfox.logic.{IRI => RDFox_IRI}
16import org.semanticweb.owlapi.model.{IRI => OWL_IRI}
17
15object RDFoxUtil { 18object RDFoxUtil {
16 19
17 implicit def owlapi2rdfox(iri: org.semanticweb.owlapi.model.IRI): IRI = { 20 implicit def rdfox2owlapi(iri: RDFox_IRI): OWL_IRI = {
18 IRI.create(iri.getIRIString()) 21 OWL_IRI.create(iri.getIRI)
22 }
23
24 implicit def owlapi2rdfox(iri: OWL_IRI): RDFox_IRI = {
25 RDFox_IRI.create(iri.getIRIString())
19 } 26 }
20 27
21 implicit def owlapi2rdfox(iri: String): IRI = { 28 implicit def owlapi2rdfox(iri: String): RDFox_IRI = {
22 IRI.create(iri) 29 RDFox_IRI.create(iri)
23 } 30 }
24 31
25 def openConnection( 32 def openConnection(