From 313d3f835977f4d7f59e32e1b6cf4a508e1a3431 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sat, 14 Nov 2020 14:00:55 +0000 Subject: 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. --- src/main/scala/rsacomb/RSA.scala | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/main/scala/rsacomb/RSA.scala') 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 { Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") + val EquivTo: IRI = this.internal("EquivTo") + // Counter used to implement a simple fresh variable generator private var counter = -1; -- cgit v1.2.3