diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-14 14:00:55 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-14 14:00:55 +0000 |
| commit | 313d3f835977f4d7f59e32e1b6cf4a508e1a3431 (patch) | |
| tree | 79c9985bf826ae3557539bd1cffe49f1bfa9320a /src/main/scala/rsacomb/RSA.scala | |
| parent | 77900dc5a9439336eed37e7b8d6c587d1f9288fc (diff) | |
| download | RSAComb-313d3f835977f4d7f59e32e1b6cf4a508e1a3431.tar.gz RSAComb-313d3f835977f4d7f59e32e1b6cf4a508e1a3431.zip | |
Fix NI predicate computation
Now NAMED is introduced during the canonical model computation, while
NI instances are computed and introduced in the filtering program
generation phase.
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala index 66de974..10a9d47 100644 --- a/src/main/scala/rsacomb/RSA.scala +++ b/src/main/scala/rsacomb/RSA.scala | |||
| @@ -28,6 +28,8 @@ object RSA extends RSAOntology with RSAAxiom { | |||
| 28 | Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") | 28 | Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") |
| 29 | Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") | 29 | Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") |
| 30 | 30 | ||
| 31 | val EquivTo: IRI = this.internal("EquivTo") | ||
| 32 | |||
| 31 | // Counter used to implement a simple fresh variable generator | 33 | // Counter used to implement a simple fresh variable generator |
| 32 | private var counter = -1; | 34 | private var counter = -1; |
| 33 | 35 | ||