aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
index 3da6c8a..6621f59 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
@@ -118,10 +118,6 @@ class CanonicalModel(val ontology: RSAOntology) {
118 .getIRI 118 .getIRI
119 TupleTableAtom.rdf(v0, IRI.RDF_TYPE, cls) 119 TupleTableAtom.rdf(v0, IRI.RDF_TYPE, cls)
120 } 120 }
121 // TODO: To be consistent with the specifics of the visitor we are
122 // returning facts as `Rule`s with true body. While this is correct
123 // there is an easier way to import facts into RDFox. Are we able to
124 // do that?
125 val facts = unfold map RSA.In 121 val facts = unfold map RSA.In
126 val rules = List( 122 val rules = List(
127 Rule.create(roleRf, atomA, RSA.NotIn(varX)), 123 Rule.create(roleRf, atomA, RSA.NotIn(varX)),