This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
☆30Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Domain Ontology to model web archiving artefacts as Semantic objects and describe web archiving and web preservation activities.☆12Sep 3, 2026Updated 2 months ago
- A pure Dart package for working with RDF (resource description framework).☆16Sep 3, 2026Updated 2 months ago
- Ontology of fiction and narrative, developed as an extension of CIDOC-CRM and LRMoo.☆20Oct 29, 2026Updated last week
- 🦉 A lightweight C library for working with Web Ontology Language (OWL) ontologies☆46Oct 13, 2026Updated 3 weeks ago
- A RDF-based representation of the HTML Living Standard to express HTML-documents in RDF. HTML documents can thus be represented, queried,…☆28Jul 26, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆30Updated this week
- A Store back-end for rdflib to allow for reading and querying HDT documents☆29Jul 10, 2026Updated 3 months ago
- JFact repository☆23Apr 17, 2022Updated 4 years ago
- RDF Dataset Canonicalization (deliverable of the RCH working group)☆24Feb 24, 2026Updated 8 months ago
- Simple RDF Editor with SHACL support☆34Aug 17, 2026Updated 2 months ago
- M-ATOLL: A Framework for the Lexicalization of Ontologies in Multiple Languages☆11Mar 8, 2017Updated 9 years ago
- Lab for exercising SPARQL☆12Jan 16, 2022Updated 4 years ago
- Font Engineering made eaZy☆19May 22, 2023Updated 3 years ago
- Information related to DJ Dao Controllers.☆12Oct 6, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 👨🏽🍳 CookLang parser for .NET☆12May 21, 2023Updated 3 years ago
- CWRC ontology - primary repository☆14Sep 7, 2026Updated last month
- Versa model for Web resources & relationships. Similar to Resource Description Framework (RDF) but with a goal to be at once simpler and …☆11Apr 19, 2022Updated 4 years ago
- RDF-based open source tooling to generate ReSpec specification documents for ontologies☆11Nov 17, 2025Updated 11 months ago
- A collection of Magic: The Gathering (MTG) decks from the Competitive EDH Format.☆15Aug 23, 2026Updated 2 months ago
- Ontology Design Patterns☆37Jul 30, 2026Updated 3 months ago
- Tinfoil Go Client supporting the OpenAI API standard☆12Updated this week
- Opinionated Semantic Wiki Installation for Radio Bern RaBe☆15Updated this week
- Content for a workshop on Mathematical Planning☆24Mar 5, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bitwuzla SMT solver repackaged for convenient use in opam.☆11Sep 28, 2026Updated last month
- A RDF-based vocabulary to express OWL ontologies into Mermaid diagram language☆38Nov 19, 2025Updated 11 months ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆14Apr 1, 2025Updated last year
- A GA4GH Draft Beacon implementation☆11Oct 23, 2015Updated 11 years ago
- Geoscience Knowledge Manager☆24Jan 29, 2026Updated 9 months ago
- Visualization of the snik-ontology.☆14Oct 29, 2026Updated last week
- lmdb bindings for odin☆10Feb 5, 2024Updated 2 years ago
- RDF-star Working Group☆41Oct 20, 2026Updated 2 weeks ago
- Semantic Web swiss army knife C++ libraries☆15Jul 26, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Curated index of Outline-compatible circumvention strategies, adapters and tools☆12Sep 26, 2026Updated last month
- A Ghidra loader for Dreamcast, Naomi and Atomiswave memory dumps☆16May 11, 2026Updated 5 months ago
- ☆11Aug 20, 2014Updated 12 years ago
- The PMD Core Ontology (PMDco) official release repository☆50Updated this week
- The PartiQL language specification☆16Sep 3, 2026Updated 2 months ago
- Ecosystem of artisanal Dart packages☆12May 24, 2025Updated last year
- Tools for using aXe for web accessibility testing with JUnit and Selenium.☆19Apr 14, 2023Updated 3 years ago