From 2d8afc3a50384d2aea6c97958a814fedc7b9bd40 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 16 Nov 2020 14:30:46 +0000 Subject: Change "internal:" prefix to "rsa:" --- src/test/scala/rsacomb/OWLAxiomSpec.scala | 6 +++--- src/test/scala/rsacomb/OWLClassSpec.scala | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'src/test/scala/rsacomb') diff --git a/src/test/scala/rsacomb/OWLAxiomSpec.scala b/src/test/scala/rsacomb/OWLAxiomSpec.scala index 75803d8..056f428 100644 --- a/src/test/scala/rsacomb/OWLAxiomSpec.scala +++ b/src/test/scala/rsacomb/OWLAxiomSpec.scala @@ -53,8 +53,8 @@ object OWLAxiomSpec { val term_x = Variable.create("x") val term_y = Variable.create("y") val term_z = Variable.create("z") - val term_c1 = RSA.internal("c_1") - val term_c2 = RSA.internal("c_2") + val term_c1 = RSA.rsa("c_1") + val term_c2 = RSA.rsa("c_2") val term_alice = RDFIRI.create("univ:alice") // RDFox Predicates @@ -223,7 +223,7 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement { // it should "contain a conjuction of atoms (hasSupervisor[?x,?c],Professor[?c]) in the head of the rule" in { // val skolem = SkolemStrategy.Constant(axiom_OWLSubClassOf2.toString) // val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem) - // val term_c = RSA.internal(skolem.const.getIRI) + // val term_c = RSA.rsa(skolem.const.getIRI) // val head = List( // TupleTableAtom.rdf(term_x, iri_hasSupervisor, term_c), // TupleTableAtom.rdf(term_c, RDFIRI.RDF_TYPE, iri_Professor) diff --git a/src/test/scala/rsacomb/OWLClassSpec.scala b/src/test/scala/rsacomb/OWLClassSpec.scala index a8ac14e..505c4aa 100644 --- a/src/test/scala/rsacomb/OWLClassSpec.scala +++ b/src/test/scala/rsacomb/OWLClassSpec.scala @@ -49,9 +49,9 @@ object OWLClassSpec { // RDFox Terms val term_x = Variable.create("x") val term_y = Variable.create("y") - val term_c1 = Literal.create("internal:c_1", Datatype.IRI_REFERENCE) - val term_c2 = Literal.create("internal:c_2", Datatype.IRI_REFERENCE) - val term_alice = Literal.create("univ:alice", Datatype.IRI_REFERENCE) + val term_c1 = RSA.rsa("c_1") + val term_c2 = RSA.rsa("c_2") + val term_alice = RDFIRI.create("univ:alice") // RDFox Predicates val pred_sameAs = TupleTableName.create("owl:sameAs") -- cgit v1.2.3