aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala1
-rw-r--r--src/test/scala/rsacomb/CanonicalModelSpec.scala6
2 files changed, 4 insertions, 3 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 9220434..52e13e6 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -316,6 +316,7 @@ trait RSAOntology {
316 // } 316 // }
317 317
318 def cycle(axiom: OWLSubClassOfAxiom): Set[Term] = { 318 def cycle(axiom: OWLSubClassOfAxiom): Set[Term] = {
319 // TODO: we can actually use `toTriple` from `RSAAxiom`
319 val classes = 320 val classes =
320 axiom.classesInSignature.collect(Collectors.toList()).asScala 321 axiom.classesInSignature.collect(Collectors.toList()).asScala
321 val classA = classes(0) 322 val classA = classes(0)
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"))