Repository navigation

All pull requests

Labels (19)Milestones (3)New pull request

Feature/integration ontology
#834guofengxu opened Aug 11, 2026
2
Add "Change IRI" (rename entity) action to hierarchy context menu
#830henliao opened Jun 6, 20265 tasks
1
Pin uuidv4 client dependency
#829rnsrk opened May 5, 2026Contributor
OIDC: match accounts by username claim
#828rnsrk opened May 5, 2026Contributor
Implement OpenID Connect (OIDC) SSO
#827rnsrk opened May 5, 2026Contributor
Fix Flaky Test in SubjectClosureResolver_TestCase
#814Sitara-a opened Oct 31, 2024
Update mongo into docker-compose.yml
#802mosfet80 opened Mar 14, 2024
1
Bump commons-fileupload from 1.3.3 to 1.5 in /webprotege-server
#785dependabot[bot] opened Feb 22, 2023Bot
Integration of the structure-based integrity proof method
#778AimenFahmi opened Aug 16, 2022
Bump mongo-java-driver from 3.11.0 to 3.11.3 in /webprotege-server-core
#776dependabot[bot] opened Jun 27, 2022Bot
Fix for issue 769 IllegalArgumentException: state should be: writes is not an empty
#773wolfch-elsevier opened Jun 6, 2022
From version 5/fix issue 769 hg 5463 auto set propertyid
#772wolfch-elsevier opened Jun 1, 2022
Bump junit from 4.12 to 4.13.1
#711dependabot[bot] opened Oct 13, 2020Bot
Fix #636
#688riya24899 opened May 25, 2020
5
Docker - allow running as non root user
#676earcam opened Apr 19, 2020
Fix for #642 - remove snapshot from version of owlapi-gwt
#675earcam opened Apr 19, 2020
1
Add dctypes: to built-in prefixes
#644nbdani opened Oct 14, 2019