aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java
Commit message (Collapse)AuthorAgeFilesLines
* [pagoda] Move project to ScalaFederico Igne2022-05-111-173/+0
| | | | | | | | | 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.
* Rules parsing.RncLsn2015-08-041-4/+79
|
* Many little changes.RncLsn2015-07-031-1/+1
|
* Small changes.RncLsn2015-06-301-12/+2
|
* initial versionyzhou2015-04-211-0/+108