From 826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 15 Apr 2021 12:32:45 +0100 Subject: Prepare code for double-blind submission --- src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala') 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) { .getIRI TupleTableAtom.rdf(v0, IRI.RDF_TYPE, cls) } - // TODO: To be consistent with the specifics of the visitor we are - // returning facts as `Rule`s with true body. While this is correct - // there is an easier way to import facts into RDFox. Are we able to - // do that? val facts = unfold map RSA.In val rules = List( Rule.create(roleRf, atomA, RSA.NotIn(varX)), -- cgit v1.2.3