diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-16 14:30:46 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-16 14:30:46 +0000 |
commit | 2d8afc3a50384d2aea6c97958a814fedc7b9bd40 (patch) | |
tree | bcdcd6f62dc076a4560d0653eaba2806a5325b88 /src/test | |
parent | 3d430b1b5aa6014d36b1258451fc5a1b21fba20d (diff) | |
download | RSAComb-2d8afc3a50384d2aea6c97958a814fedc7b9bd40.tar.gz RSAComb-2d8afc3a50384d2aea6c97958a814fedc7b9bd40.zip |
Change "internal:" prefix to "rsa:"
Diffstat (limited to 'src/test')
-rw-r--r-- | src/test/scala/rsacomb/OWLAxiomSpec.scala | 6 | ||||
-rw-r--r-- | src/test/scala/rsacomb/OWLClassSpec.scala | 6 |
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") |