aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxAxiomConverter.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-16 20:09:22 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-16 20:09:22 +0000
commitc6ae617490ad7e2429207e1393415ec9bff7a501 (patch)
tree43ebdced920b5088cac7de1d16f5b4adebe03ee3 /src/main/scala/rsacomb/RDFoxAxiomConverter.scala
parent2d8afc3a50384d2aea6c97958a814fedc7b9bd40 (diff)
downloadRSAComb-c6ae617490ad7e2429207e1393415ec9bff7a501.tar.gz
RSAComb-c6ae617490ad7e2429207e1393415ec9bff7a501.zip
Rework suffixes
This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere.
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