aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java
Commit message (Collapse)AuthorAgeFilesLines
* [pagoda] Move project to ScalaFederico Igne2022-05-111-17/+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.
* Maybe fixed bug in internalisation.RncLsn2015-06-261-0/+2
|
* Before reintroducing extended queries.RncLsn2015-06-031-6/+6
|
* initial versionyzhou2015-04-211-0/+15