k00ni / owl-reasoner-listView external linksLinks
This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
☆26Dec 13, 2024Updated last year
Alternatives and similar repositories for owl-reasoner-list
Users that are interested in owl-reasoner-list are comparing it to the libraries listed below
Sorting:
- Whelk is an OWL EL reasoner☆37Mar 5, 2025Updated 11 months ago
- programs written in Picat☆11Updated this week
- TypeLeap☆12Mar 8, 2025Updated 11 months ago
- 2020년 21대 국회의원 총선거 지도☆11Mar 19, 2020Updated 5 years ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆37Jan 26, 2026Updated 3 weeks ago
- ☆11Sep 19, 2023Updated 2 years ago
- ANTLR4 grammar for all Magic: the Gathering cards in Guilds of Ravnica☆11Mar 2, 2023Updated 2 years ago
- Terminal string color for Deno☆10Jul 29, 2022Updated 3 years ago
- Github Action that deploys datomic ions code to Datomic Cloud☆10Aug 22, 2023Updated 2 years ago
- ☆11Jul 18, 2024Updated last year
- Recipes for some popular Rust tools☆14Jul 11, 2025Updated 7 months ago
- Software for creating and comparing genome fingerprints.☆11Jun 30, 2024Updated last year
- Chatmodes project for Copilot☆18Dec 12, 2025Updated 2 months ago
- rust edition☆10Apr 28, 2024Updated last year
- BGZF Stream☆13Jul 27, 2023Updated 2 years ago
- A multi-purpose calculator for microtonal(/xenharmonic) music☆13May 30, 2025Updated 8 months ago
- Lab for exercising SPARQL☆12Jan 16, 2022Updated 4 years ago
- Repository for representing genotypes and their association with phenotypes☆19Feb 2, 2026Updated 2 weeks ago
- Whelk is an OWL EL reasoner☆15Mar 16, 2023Updated 2 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Jan 13, 2026Updated last month
- A tool for doing things with Profiles☆10Jan 27, 2026Updated 3 weeks ago
- A safe registry for importing NPM packages in Deno as ES Modules☆13Oct 25, 2020Updated 5 years ago
- An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners☆11Jul 12, 2025Updated 7 months ago
- A collection of essential TypeScript types☆14Aug 19, 2020Updated 5 years ago
- A generic pipeline for converting tabular data into rdf data cubes☆14Feb 2, 2023Updated 3 years ago
- Convert Scratch .sb files (for Scratch 1) to Scratch 2 (.sb2) in JS.☆17Feb 3, 2026Updated last week
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Mar 13, 2023Updated 2 years ago
- ☆13Dec 14, 2025Updated 2 months ago
- z3-powered solver (theorem prover) for deal☆13Sep 28, 2023Updated 2 years ago
- Make degraded image☆18Apr 23, 2024Updated last year
- pix2pix model for generating terrain☆17Jan 7, 2023Updated 3 years ago
- parsing konnakol with ohm☆14Feb 16, 2024Updated 2 years ago
- 역대 디미고 급식에서 감자가 들어간 메뉴를 전부 찾아줍니다.☆12Dec 13, 2018Updated 7 years ago
- Basic RDF Datatypes☆15Dec 30, 2025Updated last month
- OpenHistoricalMap a customised mirror of the Rails application powering http://www.openstreetmap.org (hosted at git://git.openstreetmap.o…☆20Updated this week
- Documentation and example applications for the Libbulletjme physics-simulation library (code has New BSD license)☆13Feb 6, 2026Updated last week
- Repository for the Procedural Knowledge Ontology (PKO)☆27Dec 11, 2025Updated 2 months ago
- Pagespeed insights for Astro dev tools☆13Dec 6, 2023Updated 2 years ago
- Ring middleware to parse, decide and verify JWT tokens☆16Sep 6, 2025Updated 5 months ago