diff options
Diffstat (limited to 'src/test/scala/rsacomb/OWLAxiomSpec.scala')
| -rw-r--r-- | src/test/scala/rsacomb/OWLAxiomSpec.scala | 6 |
1 files changed, 3 insertions, 3 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) |
