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.

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

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

Reasoner for the description logic EL+.

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

A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks

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

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

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.

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

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

Concept Explorer FX (conexp-fx)

A Preferential Reasoner for Ontologies

Michael's Description Logic Reasoner Framework