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: 3 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 (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2024-01-02T21:56:15.000Z (6 months ago)
• Last Synced: 2024-01-07T00:12:46.803Z (5 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: 5
• Open Issues: 1
• Metadata Files:

Lists

• awesome-ontology - jcel - A reasoner for the description logic EL+. (Java) (Reasoners / Vocabularies)