Reasoner for the description logic EL+.
☆16Jun 30, 2026Updated last week
Alternatives and similar repositories for jcel
Users that are interested in jcel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆118Dec 8, 2018Updated 7 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Apr 24, 2026Updated 2 months ago
- An implementation of the ASPIC+ framework for structured argumentation.☆13Updated this week
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- A Java-based OWL 2 EL reasoner☆118Jun 13, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A description logic reasoner for python.☆17Dec 15, 2017Updated 8 years ago
- Zunder Lab website☆12Jan 19, 2023Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 8 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 6 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- ☆60May 22, 2026Updated last month
- Website for the KGC 2020 Tutorial: "Building a Knowledge Graph from schema.org annotations"☆10Jun 26, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Java library for working with the QUDT ontology and data using it.☆17Jun 30, 2026Updated last week
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- A friendly language for mappings to RDF☆12Nov 21, 2025Updated 7 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Jun 13, 2026Updated 3 weeks ago
- Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API☆17Jul 20, 2010Updated 15 years ago
- LTL2PDDL tool☆13Jul 7, 2017Updated 9 years ago
- IntelliJ plugin for several experimental programming languages here☆37Oct 18, 2021Updated 4 years ago
- Arcade1Up Modding☆22Dec 28, 2018Updated 7 years ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- A unified framework for API code generators that work with OpenAPI, RAPID-ML and other description languages.☆11Sep 15, 2022Updated 3 years ago
- ☆77Mar 8, 2021Updated 5 years ago
- GraphQL extension for StarUML3☆16Apr 29, 2022Updated 4 years ago
- A network map of 15 major groups or projects and their known clinical affiliates that have connections to "gender exploratory" therapy th…☆13Jun 10, 2025Updated last year
- Mirror of Apache Marmotta☆57Mar 1, 2020Updated 6 years ago
- Official website for Sanders Lab☆17May 29, 2024Updated 2 years ago
- January project☆36Apr 30, 2026Updated 2 months ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- RDF rule engine☆26Jul 22, 2024Updated last year
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Nov 24, 2017Updated 8 years ago
- SuperPascal modification - compiles under fpc (Free Pascal).☆18Jun 30, 2018Updated 8 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Whelk is an OWL EL reasoner☆42Mar 5, 2025Updated last year
- Create the Clean Architecture directory structure in your projects☆12Jun 3, 2026Updated last month
- a standalone mod manager for RimWorld☆12Dec 11, 2022Updated 3 years ago