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).

Michael's Description Logic Reasoner Framework

TPS ET RAPPORTS MODULE RCR 1 et 2

A medical ontology using patient information to make inferences

implementation of different kinds of knowledge presentation languages programmatically

Concurrent Classification of EL++ Ontologies

A case showing how to represent knowledge graph and reason about root causes for cutting tool breakage

A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.

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.

OWL pizza ontology built in Protégé, following Matthew Horridge's guide, demonstrating description-logic modeling, restrictions, defined classes, and automated reasoning.

This repository contains the source for a paper?

This repository contains the text for my bachelor thesis

OWL 2 Web Ontology Language (W3C Rec 2012-12-11) — typed metamodel package for OWL 2 structural specification, classes, properties, individuals, axioms; specializes RDFS.

Generate customizable Mythic HTTPX profiles by converting Burp Suite requests, TOML files, and Cobalt Strike malleable C2 profiles into valid JSON formats.