aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxClassExprConverter.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/RDFoxClassExprConverter.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/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