Logic plus python types
Tableau-based reasoner for ALCQ description logic
A library for probabilistic reasoning and belief modelling in Python.
Pre-deployment OWL-RL classification engine grounded in BFO 2020 (ISO/IEC 21838-2). Deterministic, audit-traceable assessments of EU AI Act Annex III high-risk conditions. RO, IAO, CCO as ROBOT BOT slim modules. Independent OWL 2 DL cross-check via HermiT in CI. Currently models Annex III 1(a) and 5(b).
A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.
TPS ET RAPPORTS MODULE RCR 1 et 2
Michael's Description Logic Reasoner Framework
A medical ontology using patient information to make inferences
implementation of different kinds of knowledge presentation languages programmatically
Datalog as an executable textbook — one readable engine and supporting lessons.
A curated list of description logic reasoners, ontology tooling, benchmarks, and Semantic Web standards.
Descript 2026 review: AI text-based video & podcast editor — pricing, Overdub voice cloning, Studio Sound, free plan, is it worth it
Concurrent Classification of EL++ Ontologies
This repository contains the source for a paper?
A DLe (Description Logic, Extended) parser and writer for Owlready2
A JavaScript library for experimenting with concepts from first order logic, description logic, model theory, type theory, set theory, RDF, OWL, SKOS, etc. Aspires to be "standard" open source javascript by using npm, jest, standardjs, EcmaScript modules accessible from both HTML and server-side nodejs.
An OWL ontology modeling non-communicable diseases, their symptoms, and complications, built in Protégé.
This repository contains the text for my bachelor thesis
Build pipeline for the OxidDB Neurosymbolic DBpedia Dataset: nested 50K/100K/180K tiers of DBpedia entities with abstracts, DBO types, typed edges, an OWL 2 EL TBox and text-embedding-3-small vectors
A case showing how to represent knowledge graph and reason about root causes for cutting tool breakage
To associate your repository with the description-logic topic, visit your repo's landing page and select "manage topics."