diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-16 20:09:22 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-16 20:09:22 +0000 |
commit | c6ae617490ad7e2429207e1393415ec9bff7a501 (patch) | |
tree | 43ebdced920b5088cac7de1d16f5b4adebe03ee3 /src/main/scala/rsacomb/RDFoxAxiomConverter.scala | |
parent | 2d8afc3a50384d2aea6c97958a814fedc7b9bd40 (diff) | |
download | RSAComb-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.scala | 4 |
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 | |||
29 | import org.semanticweb.owlapi.model.OWLObjectProperty | 29 | import org.semanticweb.owlapi.model.OWLObjectProperty |
30 | import org.semanticweb.owlapi.model.OWLClassAssertionAxiom | 30 | import org.semanticweb.owlapi.model.OWLClassAssertionAxiom |
31 | 31 | ||
32 | import suffix.{RSASuffix, Empty} | ||
33 | |||
32 | object RDFoxAxiomConverter { | 34 | object 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 | ||