From 7d619706551117a485d93d0d6847a25afa6a359d Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 27 Jul 2021 10:30:07 +0100 Subject: Rework class structure to match more general workflow The major change is the introduction of a new class Ontology (superclass of RSAOntology) that contains all those operation that we would like to perform on *any* OWL 2 ontology. Approximation is also generic on the return type, allowing for example intermediate steps (or chaining of approximations). --- src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index 8e5169d..713a9e8 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala @@ -131,18 +131,18 @@ object RSAComb extends App { Logger.print(s"$answers", Logger.VERBOSE) Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" // Retrieve unfiltered answers - val unfiltered = rsa.queryDataStore( - """ - SELECT (count(?K) as ?COUNT) - WHERE { - ?K a rsa:QM . - } - """, - RSA.Prefixes - ) - unfiltered.foreach((u) => - Logger print s"Number of unfiltered answers: ${u.head._2}" - ) + // val unfiltered = rsa.queryDataStore( + // """ + // SELECT (count(?K) as ?COUNT) + // WHERE { + // ?K a rsa:QM . + // } + // """, + // RSA.Prefixes + // ) + // unfiltered.foreach((u) => + // Logger print s"Number of unfiltered answers: ${u.head._2}" + // ) } case None => throw new RuntimeException("Submitted query is not conjunctive") -- cgit v1.2.3