https://github.com/protegeproject/hermit-integration
Integrates the HermiT reasoner with Protege Desktop.
https://github.com/protegeproject/hermit-integration
Last synced: 5 months ago
JSON representation
Integrates the HermiT reasoner with Protege Desktop.
- Host: GitHub
- URL: https://github.com/protegeproject/hermit-integration
- Owner: protegeproject
- Created: 2013-12-12T23:04:45.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2015-09-03T00:12:51.000Z (almost 11 years ago)
- Last Synced: 2025-07-19T20:43:55.445Z (11 months ago)
- Language: Java
- Homepage:
- Size: 158 KB
- Stars: 2
- Watchers: 6
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
hermit-integration
==================
Integrates the HermiT reasoner with Protege Desktop.