description-logics

AI-native ontology engine: a Rust MCP server with tools for building, validating, querying, and reasoning over RDF/OWL ontologies. In-memory Oxigraph triple store, native OWL2-DL tableaux reasoner, SHACL validation, SPARQL, versioning. Single binary, no JVM.

One‑stop learning hub for ontology engineering with Protégé and pizza.owl. Includes step‑by‑step code snapshots, a full video course, and the companion eBook “Mastering Ontology Engineering with Protégé and Pizza.owl” – from semantic foundations to executable knowledge architecture (EKA).

OWL Class Expressions Learning in Python

Python bindings for upgraded FaCT++ description logic reasoner

A Common Lisp Framework for the Semantic Web

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

OWL 2 skill compiler for deterministic AI agents — transforms SKILL.md into validated RDF/ Turtle ontologies with SHACL gatekeeper

Reasoner for the description logic EL+.

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

Neuro-symbolic concept embedding and reasoning for ALC knowledge bases

Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor

🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)

DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps

An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners

web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging

A neuro-symbolic reasoner for the EL++ description logic.

LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics (EKAW 2024)

Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.

A Preferential Reasoner for Ontologies

Concept Explorer FX (conexp-fx)