diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 19:21:22 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 19:21:22 +0100 |
commit | 101ba17e3b39a9b11888219705cde9a150a3bf02 (patch) | |
tree | 8f935f8357f6aded9ecb7a4193bfb98a495e6fb7 /src/main/scala | |
parent | 974f10616c5f3b9e2251f0d3350e705adbc32f72 (diff) | |
download | RSAComb-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.scala | 2 |
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 | ||