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 | ||