From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 May 2022 18:17:06 +0100 Subject: [pagoda] Move project to Scala This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added. --- .../pagoda/rules/approximators/TestSkolemTermsManager.java | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java (limited to 'src/test/java/uk/ac/ox/cs/pagoda/rules') diff --git a/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java b/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java new file mode 100644 index 0000000..6bd8f05 --- /dev/null +++ b/src/test/java/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java @@ -0,0 +1,14 @@ +package uk.ac.ox.cs.pagoda.rules.approximators; + +import org.testng.annotations.Test; + +/** + * Tests for the class SkolemTermsManager + */ +public class TestSkolemTermsManager { + + @Test + public void test() { + // TODO some test + } +} -- cgit v1.2.3