diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-10 18:17:06 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-11 12:34:47 +0100 |
| commit | 17bd9beaf7f358a44e5bf36a5855fe6727d506dc (patch) | |
| tree | 47e9310a0cff869d9ec017dcb2c81876407782c8 /src/test/java/resources/MiscellaneousTests.xml | |
| parent | 8651164cd632a5db310b457ce32d4fbc97bdc41c (diff) | |
| download | ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.tar.gz ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.zip | |
[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.
Diffstat (limited to 'src/test/java/resources/MiscellaneousTests.xml')
| -rw-r--r-- | src/test/java/resources/MiscellaneousTests.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/java/resources/MiscellaneousTests.xml b/src/test/java/resources/MiscellaneousTests.xml new file mode 100644 index 0000000..21b64f7 --- /dev/null +++ b/src/test/java/resources/MiscellaneousTests.xml | |||
| @@ -0,0 +1,12 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?> | ||
| 2 | <!DOCTYPE suite SYSTEM "http://testng.org/testng-1.0.dtd" > | ||
| 3 | |||
| 4 | <suite name="MiscellaneousTests"> | ||
| 5 | |||
| 6 | <test name="RuleHelper"> | ||
| 7 | <classes> | ||
| 8 | <class name="uk.ac.ox.cs.pagoda.hermit.TestRuleHelper" /> | ||
| 9 | </classes> | ||
| 10 | </test> | ||
| 11 | |||
| 12 | </suite> \ No newline at end of file | ||