aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-14 17:35:22 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-14 17:35:22 +0000
commit3d430b1b5aa6014d36b1258451fc5a1b21fba20d (patch)
tree821f7091e099b6e3e1b15bd0afaed151ff10fb8b /src/test
parent0df6cd806da628b51fdeec145a26ca6084deebcc (diff)
downloadRSAComb-3d430b1b5aa6014d36b1258451fc5a1b21fba20d.tar.gz
RSAComb-3d430b1b5aa6014d36b1258451fc5a1b21fba20d.zip
Fix tests
They were loading the wrong example file since we switched to Turtle format.
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/rsacomb/CanonicalModelSpec.scala6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/rsacomb/CanonicalModelSpec.scala
index 410619f..ef27a4f 100644
--- a/src/test/scala/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/rsacomb/CanonicalModelSpec.scala
@@ -22,8 +22,8 @@ object Ontology1_CanonicalModelSpec {
22 /* Renderer to display OWL Axioms with DL syntax*/ 22 /* Renderer to display OWL Axioms with DL syntax*/
23 val renderer = new DLSyntaxObjectRenderer() 23 val renderer = new DLSyntaxObjectRenderer()
24 24
25 val ontology_path: File = new File("examples/example1.owl") 25 val ontology_path: File = new File("examples/example1.ttl")
26 val ontology = RSA.loadOntology(ontology_path) 26 val ontology: RSAOntology = RSA.loadOntology(ontology_path)
27 val program = ontology.canonicalModel 27 val program = ontology.canonicalModel
28 28
29 val roleR = new OWLObjectPropertyImpl(RSA.base("R")) 29 val roleR = new OWLObjectPropertyImpl(RSA.base("R"))
@@ -220,7 +220,7 @@ object Ontology2_CanonicalModelSpec {
220 val renderer = new DLSyntaxObjectRenderer() 220 val renderer = new DLSyntaxObjectRenderer()
221 221
222 val ontology_path: File = new File("examples/example2.owl") 222 val ontology_path: File = new File("examples/example2.owl")
223 val ontology = RSA.loadOntology(ontology_path) 223 val ontology: RSAOntology = RSA.loadOntology(ontology_path)
224 val program = ontology.canonicalModel 224 val program = ontology.canonicalModel
225 225
226 val roleR = new OWLObjectPropertyImpl(RSA.base("R")) 226 val roleR = new OWLObjectPropertyImpl(RSA.base("R"))