From 101ba17e3b39a9b11888219705cde9a150a3bf02 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 28 Oct 2020 19:21:22 +0100
Subject: Add unit tests for example2.owl for the canonical model computation

---
 src/main/scala/rsacomb/CanonicalModel.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/scala')

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 {
 
   def apply(
       ontology: OWLOntology,
-      term: Term
+      term: Term = Variable.create("X")
   ): RDFoxAxiomConverter =
     new ProgramGenerator(ontology, term)
 
-- 
cgit v1.2.3