aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxClassExprConverter.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxClassExprConverter.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxClassExprConverter.scala4
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
31import org.semanticweb.owlapi.model.OWLObjectPropertyExpression 31import org.semanticweb.owlapi.model.OWLObjectPropertyExpression
32import org.semanticweb.owlapi.model.OWLObjectProperty 32import org.semanticweb.owlapi.model.OWLObjectProperty
33 33
34import suffix.{RSASuffix, Empty}
35
34object RDFoxClassExprConverter { 36object 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