aboutsummaryrefslogtreecommitdiff
path: root/pom.xml
Commit message (Collapse)AuthorAgeFilesLines
* build: move project `resources` folderFederico Igne2022-05-181-9/+8
|
* build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519Federico Igne2022-05-181-3/+6
| | | | | | | This commit contains a "hacky" fix for KARMA2 to access some (now private) field in the OWLAxioms class. The code is now using Java Reflections to turn a private field public and gain access to internal resources.
* [pagoda] Move project to ScalaFederico Igne2022-05-111-123/+279
| | | | | | | | | 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.
* RDFox dependency from project repo; improved the readme.RncLsn2015-10-121-15/+27
|
* Bug fix for a NullPointerException.RncLsn2015-09-131-1/+1
|
* Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2RncLsn2015-09-111-1/+1
|
* Version 2.1.1v2.1.1RncLsn2015-09-111-1/+1
|
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-111-0/+4
| | | | configuration file: now default and user-specified.
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-061-1/+1
|
* Version number.v2.1.0RncLsn2015-08-061-1/+1
|
* Small changes.RncLsn2015-06-301-0/+9
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-5/+5
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-1/+15
|
* Configured Maven and improved executable class and tests.RncLsn2015-05-181-2/+47
|
* Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-151-0/+5
|
* Adding (not completed) a new upper bound technique, namely Limited ↵RncLsn2015-05-111-5/+5
| | | | Skolemisation.
* Making the output machine-readable (JSON).RncLsn2015-05-071-0/+10
|
* Switch from JUnit to TestNG.RncLsn2015-05-061-0/+11
| | | | Plus minor fixes.
* downgrade owl api and reorganised src filesyzhou2015-04-301-6/+1
|
* added two interfaces in QueryReasoner for SemFacetyzhou2015-04-221-2/+2
| | | removed answer files in the *.conf
* initial versionyzhou2015-04-211-0/+106