aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-16 14:30:46 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-16 14:30:46 +0000
commit2d8afc3a50384d2aea6c97958a814fedc7b9bd40 (patch)
treebcdcd6f62dc076a4560d0653eaba2806a5325b88 /src/test
parent3d430b1b5aa6014d36b1258451fc5a1b21fba20d (diff)
downloadRSAComb-2d8afc3a50384d2aea6c97958a814fedc7b9bd40.tar.gz
RSAComb-2d8afc3a50384d2aea6c97958a814fedc7b9bd40.zip
Change "internal:" prefix to "rsa:"
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/rsacomb/OWLAxiomSpec.scala6
-rw-r--r--src/test/scala/rsacomb/OWLClassSpec.scala6
2 files changed, 6 insertions, 6 deletions
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 {
53 val term_x = Variable.create("x") 53 val term_x = Variable.create("x")
54 val term_y = Variable.create("y") 54 val term_y = Variable.create("y")
55 val term_z = Variable.create("z") 55 val term_z = Variable.create("z")
56 val term_c1 = RSA.internal("c_1") 56 val term_c1 = RSA.rsa("c_1")
57 val term_c2 = RSA.internal("c_2") 57 val term_c2 = RSA.rsa("c_2")
58 val term_alice = RDFIRI.create("univ:alice") 58 val term_alice = RDFIRI.create("univ:alice")
59 59
60 // RDFox Predicates 60 // RDFox Predicates
@@ -223,7 +223,7 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement {
223 // it should "contain a conjuction of atoms (hasSupervisor[?x,?c],Professor[?c]) in the head of the rule" in { 223 // it should "contain a conjuction of atoms (hasSupervisor[?x,?c],Professor[?c]) in the head of the rule" in {
224 // val skolem = SkolemStrategy.Constant(axiom_OWLSubClassOf2.toString) 224 // val skolem = SkolemStrategy.Constant(axiom_OWLSubClassOf2.toString)
225 // val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem) 225 // val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem)
226 // val term_c = RSA.internal(skolem.const.getIRI) 226 // val term_c = RSA.rsa(skolem.const.getIRI)
227 // val head = List( 227 // val head = List(
228 // TupleTableAtom.rdf(term_x, iri_hasSupervisor, term_c), 228 // TupleTableAtom.rdf(term_x, iri_hasSupervisor, term_c),
229 // TupleTableAtom.rdf(term_c, RDFIRI.RDF_TYPE, iri_Professor) 229 // 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 {
49 // RDFox Terms 49 // RDFox Terms
50 val term_x = Variable.create("x") 50 val term_x = Variable.create("x")
51 val term_y = Variable.create("y") 51 val term_y = Variable.create("y")
52 val term_c1 = Literal.create("internal:c_1", Datatype.IRI_REFERENCE) 52 val term_c1 = RSA.rsa("c_1")
53 val term_c2 = Literal.create("internal:c_2", Datatype.IRI_REFERENCE) 53 val term_c2 = RSA.rsa("c_2")
54 val term_alice = Literal.create("univ:alice", Datatype.IRI_REFERENCE) 54 val term_alice = RDFIRI.create("univ:alice")
55 55
56 // RDFox Predicates 56 // RDFox Predicates
57 val pred_sameAs = TupleTableName.create("owl:sameAs") 57 val pred_sameAs = TupleTableName.create("owl:sameAs")