From 9fc4643c2f7e0686364020e0d6f38b55c3cd3222 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Mon, 29 Nov 2021 15:00:32 +0000 Subject: Move verbose output before importing into RDFox This gives us better debug output when the import fails or doesn't terminate. --- src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala index 7671c8f..3fec7bc 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala @@ -531,6 +531,8 @@ class RSAOntology( RDFoxUtil.addData(data, RSAOntology.CanonGraph, datafiles: _*) /* Top/equality axiomatization */ + Logger.write(topAxioms.mkString("\n"), "axiomatisation.dlog") + Logger.write(equalityAxioms.mkString("\n"), "axiomatisation.dlog") RDFoxUtil.updateData(data, s""" INSERT { @@ -543,7 +545,7 @@ class RSAOntology( RDFoxUtil.updateData(data, s""" INSERT { - GRAPH ${RSAOntology.CanonGraph} { ?Z a ${RSA.NAMED} } + GRAPH ${RSAOntology.CanonGraph} { ?Z a ${IRI.THING} } } WHERE { GRAPH ${RSAOntology.CanonGraph} { ?X ?Y ?Z }. FILTER( ?Y != a ) @@ -551,8 +553,6 @@ class RSAOntology( """ ) RDFoxUtil.addRules(data, topAxioms ++ equalityAxioms) - Logger.write(topAxioms.mkString("\n"), "axiomatisation.dlog") - Logger.write(equalityAxioms.mkString("\n"), "axiomatisation.dlog") /* Introduce `rsacomb:Named` concept */ /* From data */ @@ -567,9 +567,9 @@ class RSAOntology( ) /* From ontology */ val named = individuals.map(RSA.Named(RSAOntology.CanonGraph)(_)) - RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, named) if (! named.isEmpty) Logger.write(named.mkString("", ".\n", ".\n"), "canonical_model.dlog") + RDFoxUtil.addFacts(data, RSAOntology.CanonGraph, named) /* Add canonical model */ Logger print s"Canonical model facts: ${this.canonicalModel.facts.length}" -- cgit v1.2.3