aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RDFoxAxiomConverter.scala')
-rw-r--r--src/main/scala/rsacomb/RDFoxAxiomConverter.scala4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
index 0848a0a..0368b7c 100644
--- a/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
+++ b/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
@@ -29,13 +29,15 @@ import org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom
29import org.semanticweb.owlapi.model.OWLObjectProperty 29import org.semanticweb.owlapi.model.OWLObjectProperty
30import org.semanticweb.owlapi.model.OWLClassAssertionAxiom 30import org.semanticweb.owlapi.model.OWLClassAssertionAxiom
31 31
32import suffix.{RSASuffix, Empty}
33
32object RDFoxAxiomConverter { 34object RDFoxAxiomConverter {
33 35
34 def apply( 36 def apply(
35 term: Term, 37 term: Term,
36 unsafe: List[OWLObjectPropertyExpression], 38 unsafe: List[OWLObjectPropertyExpression],
37 skolem: SkolemStrategy = SkolemStrategy.None, 39 skolem: SkolemStrategy = SkolemStrategy.None,
38 suffix: RSASuffix = RSASuffix.None 40 suffix: RSASuffix = Empty
39 ): RDFoxAxiomConverter = 41 ): RDFoxAxiomConverter =
40 new RDFoxAxiomConverter(term, unsafe, skolem, suffix) 42 new RDFoxAxiomConverter(term, unsafe, skolem, suffix)
41 43