aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.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/RSA.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/RSA.scala')
-rw-r--r--src/main/scala/rsacomb/RSA.scala6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index edabc6a..01982fc 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -39,6 +39,12 @@ object RSA extends RSAOntology {
39 Variable.create(f"I$counter%03d") 39 Variable.create(f"I$counter%03d")
40 } 40 }
41 41
42 def base(name: Any): IRI =
43 IRI.create(
44 Prefixes.getPrefixIRIsByPrefixName.get(":").getIRI
45 + name.toString
46 )
47
42 def internal(name: Any): IRI = 48 def internal(name: Any): IRI =
43 IRI.create( 49 IRI.create(
44 Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI 50 Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI