diff options
| author | Federico Igne <git@federicoigne.com> | 2021-09-29 16:44:00 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-09-29 16:44:00 +0100 |
| commit | a7e7f8a5d0bac2a12127c10c6e15e602e4cd43ad (patch) | |
| tree | d71247bd1aadf08b99416c158475712e2f07ff38 | |
| parent | a5a4f5eba46c51c2a14e9915bfa34e78bff59030 (diff) | |
| download | RSAComb-a7e7f8a5d0bac2a12127c10c6e15e602e4cd43ad.tar.gz RSAComb-a7e7f8a5d0bac2a12127c10c6e15e602e4cd43ad.zip | |
Always use internal equality instead of SAME_AS
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala index 266c158..276ee1a 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | |||
| @@ -340,7 +340,7 @@ trait RDFoxConverter { | |||
| 340 | .collect { case x: OWLNamedIndividual => x } | 340 | .collect { case x: OWLNamedIndividual => x } |
| 341 | if (named.length != 1) | 341 | if (named.length != 1) |
| 342 | throw new RuntimeException(s"Class expression '$e' has arity != 1.") | 342 | throw new RuntimeException(s"Class expression '$e' has arity != 1.") |
| 343 | val atom = TupleTableAtom.rdf(term, IRI.SAME_AS, named.head.getIRI) | 343 | val atom = RSA.Congruent(term, named.head.getIRI) |
| 344 | (List(atom), List()) | 344 | (List(atom), List()) |
| 345 | } | 345 | } |
| 346 | 346 | ||
| @@ -412,7 +412,7 @@ trait RDFoxConverter { | |||
| 412 | val (res, ext) = | 412 | val (res, ext) = |
| 413 | vars.map(convert(cls, _, unsafe, skolem, suffix)(fresh)).unzip | 413 | vars.map(convert(cls, _, unsafe, skolem, suffix)(fresh)).unzip |
| 414 | val props = vars.map(convert(role, term, _, suffix)(fresh)) | 414 | val props = vars.map(convert(role, term, _, suffix)(fresh)) |
| 415 | val eq = TupleTableAtom.rdf(y, IRI.SAME_AS, z) | 415 | val eq = RSA.Congruent(y, z) |
| 416 | (List(eq), res.flatten ++ props) | 416 | (List(eq), res.flatten ++ props) |
| 417 | } | 417 | } |
| 418 | 418 | ||