aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-28 19:21:22 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-10-28 19:21:22 +0100
commit101ba17e3b39a9b11888219705cde9a150a3bf02 (patch)
tree8f935f8357f6aded9ecb7a4193bfb98a495e6fb7 /src/main/scala
parent974f10616c5f3b9e2251f0d3350e705adbc32f72 (diff)
downloadRSAComb-101ba17e3b39a9b11888219705cde9a150a3bf02.tar.gz
RSAComb-101ba17e3b39a9b11888219705cde9a150a3bf02.zip
Add unit tests for example2.owl for the canonical model computation
Diffstat (limited to 'src/main/scala')
-rw-r--r--src/main/scala/rsacomb/CanonicalModel.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/CanonicalModel.scala b/src/main/scala/rsacomb/CanonicalModel.scala
index c07fc06..cc89a85 100644
--- a/src/main/scala/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/rsacomb/CanonicalModel.scala
@@ -24,7 +24,7 @@ object ProgramGenerator {
24 24
25 def apply( 25 def apply(
26 ontology: OWLOntology, 26 ontology: OWLOntology,
27 term: Term 27 term: Term = Variable.create("X")
28 ): RDFoxAxiomConverter = 28 ): RDFoxAxiomConverter =
29 new ProgramGenerator(ontology, term) 29 new ProgramGenerator(ontology, term)
30 30