spechub / HetsLinks
The Heterogeneous Tool Set
☆59Updated 2 weeks ago
Alternatives and similar repositories for Hets
Users that are interested in Hets are comparing it to the libraries listed below
Sorting:
- Top-down interpreter for ASP programs with Constraints☆34Updated 3 months ago
- A lazy-grounding Answer-Set Programming system☆63Updated 8 months ago
- Parser for Attempto Controlled English (ACE)☆205Updated last year
- OWL2 library for Prolog☆112Updated 6 years ago
- Euler Yet another proof Engine☆156Updated this week
- logic programming with SPARQL☆47Updated 2 years ago
- AceWiki is a semantic wiki based on controlled natural language.