https://github.com/julianmendez/jcel

Reasoner for the description logic EL+.
https://github.com/julianmendez/jcel

automated-reasoning description-logics java jcel owl-api protege-plugin tu-dresden

Last synced: about 2 months ago
JSON representation

Reasoner for the description logic EL+.

• Host: GitHub
• URL: https://github.com/julianmendez/jcel
• Owner: julianmendez
• Created: 2015-07-10T14:10:16.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2024-06-07T14:08:40.000Z (7 months ago)
• Last Synced: 2024-10-11T00:35:54.339Z (2 months ago)
• Topics: automated-reasoning, description-logics, java, jcel, owl-api, protege-plugin, tu-dresden
• Language: Java
• Homepage: https://julianmendez.github.io/jcel/
• Size: 36.2 MB
• Stars: 14
• Watchers: 5
• Forks: 6
• Open Issues: 5
• Metadata Files:

Awesome Lists containing this project