diff options
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxClassExprConverter.scala')
-rw-r--r-- | src/main/scala/rsacomb/RDFoxClassExprConverter.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RDFoxClassExprConverter.scala b/src/main/scala/rsacomb/RDFoxClassExprConverter.scala index 89a1a04..f3a0dfc 100644 --- a/src/main/scala/rsacomb/RDFoxClassExprConverter.scala +++ b/src/main/scala/rsacomb/RDFoxClassExprConverter.scala | |||
@@ -31,13 +31,15 @@ import rsacomb.RDFoxRuleShards | |||
31 | import org.semanticweb.owlapi.model.OWLObjectPropertyExpression | 31 | import org.semanticweb.owlapi.model.OWLObjectPropertyExpression |
32 | import org.semanticweb.owlapi.model.OWLObjectProperty | 32 | import org.semanticweb.owlapi.model.OWLObjectProperty |
33 | 33 | ||
34 | import suffix.{RSASuffix, Empty} | ||
35 | |||
34 | object RDFoxClassExprConverter { | 36 | object RDFoxClassExprConverter { |
35 | 37 | ||
36 | def apply( | 38 | def apply( |
37 | term: Term, | 39 | term: Term, |
38 | unsafe: List[OWLObjectPropertyExpression] = List(), | 40 | unsafe: List[OWLObjectPropertyExpression] = List(), |
39 | skolem: SkolemStrategy = SkolemStrategy.None, | 41 | skolem: SkolemStrategy = SkolemStrategy.None, |
40 | suffix: RSASuffix = RSASuffix.None | 42 | suffix: RSASuffix = Empty |
41 | ): RDFoxClassExprConverter = | 43 | ): RDFoxClassExprConverter = |
42 | new RDFoxClassExprConverter(term, unsafe, skolem, suffix) | 44 | new RDFoxClassExprConverter(term, unsafe, skolem, suffix) |
43 | 45 | ||