diff options
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.scala | 4 |
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)), |