diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:47:43 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-10 17:47:43 +0000 |
| commit | 1bc33ba8b960825f7df2d08abb24525d3ab0537b (patch) | |
| tree | bef13901e3c4f2a78958b285685d80d492458188 /src/main/scala/rsacomb | |
| parent | 6b9cbc0d5d9232fcf02266439507603303b3852b (diff) | |
| download | RSAComb-1bc33ba8b960825f7df2d08abb24525d3ab0537b.tar.gz RSAComb-1bc33ba8b960825f7df2d08abb24525d3ab0537b.zip | |
Remove debug output
Diffstat (limited to 'src/main/scala/rsacomb')
| -rw-r--r-- | src/main/scala/rsacomb/RDFoxAxiomConverter.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala index 15a7cd1..0848a0a 100644 --- a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala +++ b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |||
| @@ -89,7 +89,6 @@ class RDFoxAxiomConverter( | |||
| 89 | val ind = axiom.getIndividual | 89 | val ind = axiom.getIndividual |
| 90 | if (ind.isNamed) { | 90 | if (ind.isNamed) { |
| 91 | val term = IRI.create(ind.asOWLNamedIndividual().getIRI.getIRIString) | 91 | val term = IRI.create(ind.asOWLNamedIndividual().getIRI.getIRIString) |
| 92 | println("This is executed") | ||
| 93 | val cls = axiom.getClassExpression | 92 | val cls = axiom.getClassExpression |
| 94 | val visitor = | 93 | val visitor = |
| 95 | new RDFoxClassExprConverter(term, unsafe, SkolemStrategy.None, suffix) | 94 | new RDFoxClassExprConverter(term, unsafe, SkolemStrategy.None, suffix) |