blob: 44c4441b693bdfe97093e67e9d76525c8b186838 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
package rsacomb
import java.io.File
import org.scalatest.{FlatSpec, Matchers, LoneElement}
import org.semanticweb.owlapi.model._
import uk.ac.manchester.cs.owl.owlapi._
import tech.oxfordsemantic.jrdfox.logic.{Rule, Variable}
import scala.collection.JavaConverters._
import rsacomb.RSA._
import rsacomb.RDFoxUtil._
object CanonicalModelSpec {
val ontology1_path: File = new File("examples/example1.owl")
val ontology1 = RSA.loadOntology(ontology1_path)
val program1 = ontology1.canonicalModel
val axiom1 = new OWLSubClassOfAxiomImpl(
new OWLClassImpl(RSA.base("A")),
new OWLClassImpl(RSA.base("D")),
Seq().asJava
)
} // object OWLAxiomSpec
class CanonicalModelSpec extends FlatSpec with Matchers with LoneElement {
import CanonicalModelSpec._
// Example 1
"The program generated from Example1" should "not be empty" in {
program1 should not be empty
}
axiom1.toString should "be converted into a single Rule" in {
val varX = Variable.create("X")
val visitor = ProgramGenerator(ontology1, varX)
val rules = axiom1.accept(visitor)
rules.loneElement shouldBe a[Rule]
}
} // class OWLAxiomSpec
|