aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-15 12:32:45 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2021-04-15 12:32:45 +0100
commit826ef61338f8cf9c5c71fe2fd5b2ed82e0dabcf9 (patch)
tree1936a71db16fd9221389daf9d4454353754ac4d9 /src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
parentc6a63f565b8311348a800366c05dc3a6e964872c (diff)
downloadRSAComb-0.1.0.tar.gz
RSAComb-0.1.0.zip
Prepare code for double-blind submissionv0.1.0
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)),