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.