Reasoner for the description logic EL+.
☆15Mar 10, 2026Updated 2 weeks ago
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:
- The Snorocket Description Logic classifier for EL++ with concrete domains support☆24Oct 7, 2021Updated 4 years ago
- ☆14Mar 8, 2021Updated 5 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Mar 16, 2026Updated last week
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆12Jan 26, 2016Updated 10 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Simple, open source utility to convert CSV/TSV files to RDF☆14Aug 6, 2014Updated 11 years ago
- Zunder Lab website☆12Jan 19, 2023Updated 3 years ago
- Method for constructing embeddings of GO terms.☆14Nov 25, 2021Updated 4 years ago
- DeepGO with Fuzzy DL☆33Sep 19, 2022Updated 3 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 7 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- An implementation of the ASPIC+ framework for structured argumentation.☆12Mar 21, 2026Updated last week
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Website for the KGC 2020 Tutorial: "Building a Knowledge Graph from schema.org annotations"☆10Jun 26, 2020Updated 5 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- ☆13Mar 15, 2022Updated 4 years ago
- A friendly language for mappings to RDF☆11Nov 21, 2025Updated 4 months ago
- (Summed) Merklized Binary Radix Tree library☆17Oct 10, 2016Updated 9 years 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
- Transformer-based protein function Annotation with joint feature-Label Embedding☆37Dec 18, 2024Updated last year
- ☆19Mar 22, 2026Updated last week
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- RDF4J Storage Library☆11Feb 12, 2020Updated 6 years ago
- ☆71Mar 8, 2021Updated 5 years ago
- Building Modular Cloud Applications in Java - getting started example☆29Nov 13, 2013Updated 12 years ago
- Tool for Search in Structured Semantic Data☆22Updated this week
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated 8 months ago
- A unified framework for API code generators that work with OpenAPI, RAPID-ML and other description languages.☆11Sep 15, 2022Updated 3 years ago
- GraphQL extension for StarUML3☆16Apr 29, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Per function, Lua JIT using LLVM C++ toolchain☆10Jun 8, 2017Updated 8 years ago
- RDF rule engine☆24Jul 22, 2024Updated last year
- Docker file for Hadoop 3☆19Apr 21, 2018Updated 7 years ago
- 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
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- SuperPascal modification - compiles under fpc (Free Pascal).☆18Jun 30, 2018Updated 7 years ago
- a standalone mod manager for RimWorld☆12Dec 11, 2022Updated 3 years ago