From 2ebd0c8c4fd421dd676004e559b69ed8e5c9bb49 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sun, 15 May 2022 19:28:02 +0100 Subject: Finalise implementation of ACQuA query reasoner --- .../uk/ac/ox/cs/acqua/approximation/Noop.scala | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 src/main/scala/uk/ac/ox/cs/acqua/approximation/Noop.scala (limited to 'src/main/scala/uk/ac/ox/cs/acqua/approximation') diff --git a/src/main/scala/uk/ac/ox/cs/acqua/approximation/Noop.scala b/src/main/scala/uk/ac/ox/cs/acqua/approximation/Noop.scala new file mode 100644 index 0000000..69489ac --- /dev/null +++ b/src/main/scala/uk/ac/ox/cs/acqua/approximation/Noop.scala @@ -0,0 +1,34 @@ +/* + * Copyright 2021,2022 KRR Oxford + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package uk.ac.ox.cs.acqua.approximation + +import uk.ac.ox.cs.rsacomb.ontology.{Ontology,RSAOntology} +import uk.ac.ox.cs.rsacomb.approximation.Approximation + +/** Dummy approximation without any effect. + * + * @note this is only useful to convert an already RSA + * [[uk.ac.ox.cs.rsacomb.ontology.Ontology]] into an + * [[uk.ac.ox.cs.rsacomb.ontology.RSAOntology]]. + */ +object Noop extends Approximation[RSAOntology] { + + def approximate(ontology: Ontology): RSAOntology = + RSAOntology(ontology.origin, ontology.axioms, ontology.datafiles) + +} + -- cgit v1.2.3